■

T_1 Top Grがregは常識だがT_0 Top GrがT_1になるらしい。
一応簡単に証明できるけど、自分の方法だとsemi-topの時が分からない。symmetric open nbdが取れなくても証明できる？
それとも反例があったり、semi-topでもsymmetric open nbdがとれる？