>>264
集合の全体が△を演算とsて可換群をなすということでsか