定義（代数的整数論022の248）
完全不連結（>>537）なコンパクト空間（>>64）をStone空間と言う。