The simplification of axiomatical systems of lattice topology

• 格化拓扑公理系统的简化