定義
完全不連結(>>245)な局所コンパクト空間(過去スレ006の128)を一般Stone空間と言う。