集合の代数学
以下の命題は差集合に関するいくつかの恒等式が並べてある。− は差集合を求める演算を表し、 ∙ C {\displaystyle \bullet ^{\mathrm {C} }} は ∙ {\displaystyle \bullet } の補集合を表す。
命題 9: 任意の普遍集合 U とその部分集合 A、B、C について、以下が成り立つ。