势。不是所有的在F上的单作结合代数都是布尔环：比如多项式环F["X"]。任何布尔环"R"模以任何环理想"I"的商环"R"/"I"也是布尔环。类似的，布尔环的任何子环是布尔环。在布尔环"R"中所有素环理想"P"是极大环理想： "R"/"P"的商环是整环并其同时是布尔环，所以它必定同构于域F，这证实了"P"的极大性。因为极大环理想总是素环理想，我们得出素环理想和极大环理想在布尔环中是一致的。