集合の計算法則・性質

集合の計算法則・性質を更新。