命題
f：A → B をBoole代数(過去スレ021の336)の準同型(>>30)とする。
このとき f(A) は B の部分代数(>>605)である。

証明
>>46より f はBoole環としての準同型である。
よって、>>610の(3)より本命題が従う。
証明終