>>444
ありがとうございます
実数Rを正(0含む)と負に分けた同値類とかでも良さそうですね
ハウスドルフについては未習だったのですが勉強になりました