命題
f：A → B を一般Boole代数(過去スレ021の373)の準同型(>>29)とする。
このとき f(A) は B の部分環(>>592)である。

証明
>>44より f は一般Boole環としての準同型である。
よって、>>595より本命題が従う。
証明終