定義
X と Y をBoole環(>>6)とする。
f：X → Y を単位元を持つ環の準同型（即ち、環の準同型で単位元を単位元に写すもの）とする。
このとき f をBoole環としての準同型とい言う。