ある演算+があって、任意の元に対し可換である