定義
X と Y を束(過去スレ021の156)とする。
f：X → Y を束としての準同型(過去スレ021の193)とする。
f(0) = 0、f(1) = 1 となるとき f を {0, 1}-準同型と言う。