所谓一个格是ΣＦ－ｃｏｒｅ紧的，是指在赋以Ｓｃｏｔｔ开滤子拓扑之事，这个格作为拓扑空间是ｃｏｒｅ紧的，证明了一个拓扑空间的开集格是ΣＦ－ｃｏｒｅ紧的当且仅当该空间是ｃｏｒｅ紧的......

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