group operation

[ریاضیات] عمل گروهی