命題
X を上半束(過去スレ021の115)とする。
A を X の空でない部分集合とする。
S = {a_1∨．．．∨a_n； a_1、．．．、a_n は A の元の任意の有限列} とおく。
このとき (A] (>>132) は ↓S(過去スレ021の519)である。
即ち、(A] = {x ∈ X； x ≦ a_1∨．．．∨a_n となる A の元 a_1、．．．、a_n がある}

証明
>>112より明らかである。