定義
X と Y をBoole代数(過去スレ021の336)とする。
写像 f：X → Y は束としての準同型(過去スレ021の193)で f(0) = 0 かつ f(1) = 1 となるとき
Boole代数としての準同型と言う。