完全分配格上的Tychonoff嵌入定理

本文定义子拓扑分子格上的正则性及全正则分离性,并证明了拓扑分子格上的Urysohn引理及Tychonoff嵌入定理。