順序数、整列集合ぐらい位相やるとき仕込むだろ、あんぽん。