命題
X を下半束(過去スレ021の116)とする。
A を X の空でない部分集合とする。
このとき A を含む最小のフィルター(過去スレ021の527)が存在する。

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