例
X を一般Stone空間(>>440)とする。
X のコンパクトな開集合全体を S(X) とおく。
>>430より、S(X) は X の集合環である。
>>507より X は準連接空間(>>499)であるから S(X) は被約(>>670)である。