全部分正規ハウスドルフ空間
00
default
Zoom value: 1.0