多重集合と負の存在 [転載禁止]©2ch.net

regsetの集合と演算子＋＋のペアは群である。なぜなら＋＋は、結合法則を満たし、
φという単位元が一意に存在し、任意のregset Xに対してその逆元ーXが存在するからである。
X＋＋(ーX)＝φ。