定義
X を位相空間とする。
X の各連結成分が1点のみからなるとき X を完全不連結(totally disconnected)と言う。