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