格与拓扑的几点注记

本文证明了下面的结果: 设M_0是带0的正析格M_1的0—子格,若M_1有I,则M_0也有I.又若M_1可以R—生成B_1,那么〔M_0〕_R是由M_0R—生成。还有,如果〔M_0〕_R=B_1,有M_1〔M_0〕_R。 本文后一部分证明了关肇直著《拓扑空间概论》中对“几epe八MaH定理”的证明是错误的。