ブール論理
Xを集合としたとき:
元(element; 要素)とは、集合のメンバーを意味する。これを ∈ {\displaystyle \in } で表す。集合の元でないものは ∉ {\displaystyle \notin } で表す。
普遍集合(universe; 全集合)とは、集合 X であり、1 で表される場合がある。ここで universe(通常の意味は宇宙)という言葉が使われるのは「全ての元を考慮している」ことを意味しており、必ずしも「全ての元が存在する」必要があるわけではない。
空集合(empty set, null set)とは、元を持たない集合であり、 ∅ {\displaystyle \varnothing } または 0 で表される。
単項演算子(unary operator)は1つの集合に適用される。単項演算子としては論理否定(NOT)のみがある。補集合をとる働きがある。
二項演算子(binary operator)は2つの集合に適用される。