Boolean algebra
をブール代数、 をそれぞれの部分束、 をブール代数の準同型とする。このとき、 とすると、 ならば 。