以下, 全体集合を とします. 集合 に対して, を対称差と言います.実は, は対称差 を加法, 交叉 を乗法として単位的可換環の構造が入ります. 零元, 単位元はそれぞれ です.この事実は地道にやれば確かめることができますが, 対称差の結合律だけ少し面倒です. …