命題
X を下半束(過去スレ021の116)とする。
F と G を X のフィルター(過去スレ021の527)とする。
H = {x ∈ X； a∧b ≦ x となる a ∈ F、b ∈ G がある} とおく。
H は F と G を含む最小のフィルターである。

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