ブール論理
集合 A には普遍集合の中の全ての偶数(2の倍数)が含まれ、集合 B には同じ普遍集合の中の全ての 3 の倍数が含まれるとする。そのとき、これらの集合の共通部分(A AND B の集合の全ての元)は、その普遍集合の中の全ての6の倍数が含まれる。
集合 A の補集合(NOT A に含まれる全ての元)は、その普遍集合の全ての奇数となる。
2つの二項演算子の記号を ∧ / ∩ {\displaystyle \land /\cap } (論理積/AND/共通部分)と ∨ / ∪ {\displaystyle \lor /\cup } (論理和/OR/和集合)とし、単項演算子の記号を ¬ {\displaystyle \lnot } / ~ (論理否定/NOT/補集合)とする。また、値 0 (偽/空集合)と 1 (真/普遍集合)も使用する。ブール代数とブール論理では以下のような法則が成り立つ。

最初の3つの法則が束を定義し、最初の5つの法則がブール代数を定義する。