命題
X と Y をBoole代数(過去スレ021の336)とする。
f：X → Y をBoole代数の準同型(>>29)とする。
>>18より X と Y はBoole環(>>6)になる。
このとき f はBoole環としての準同型(>>34)である。

証明
>>33と f(1) = 1 より明らかである。