命題
X を束(過去スレ021の156)とする。
B を X の空でない部分集合とする。
B は以下の条件を満たすとする。

(1) B の各元は X の∨素元(>>157)である。

(2) B は X において結び密(過去スレ021の914)である。

このとき、X は分配束(過去スレ021の322)である。

証明
>>165より X は P(B) の部分束(過去スレ021の190)と同型である。
よって、X は分配束である。
証明終