命題
f：A → B を一般Boole代数(過去スレ021の373)の準同型(>>29)とする。
このとき、f^(-1)(0) = {a ∈ A； f(a) = 0} は A のイデアル(過去スレ021の527)である。

証明
>>44より f は一般Boole環としての準同型である。
よって、f^(-1)(0) は一般Boole環としての A のイデアルである。
よって、>>107より f^(-1)(0) は順序集合としての A のイデアル(過去スレ021の527)である。
証明終