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

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

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

このとき、B-下写像 B↓：X → P(B) は束の準同型(過去スレ021の193)で単射である。

証明
>>154より、B↓は束の準同型である。
>>164より、B↓は単射である。
証明終