和集合
一般に和集合には以下の恒等式が存在する。A, B, C を任意の集合とし、a, b, c を任意の実数とする。