定義
A を単位元を持つとは限らない環とする。
任意の a ∈ A に対して a^2 = a となるとき A を一般Boole環(generalized Boolean ring)と言う。