命題
X を下半束(過去スレ021の116)とする。
X の有限個の元で生成されるフィルター(>>133)は単項フィルター(>>136)である。

証明
>>137の双対である。