Locale连通性(Ⅰ)

引进 Locale 连通性的合适定义,证明了一个拓扑空间 X 的开集格是连通 Locale 当且仅当 X 是连通空间,同时还给出了连通 Locale 的一些性质。