>>916
位相の公理を一つずつ確認するだけだが
どれがわからんのだ?