กรุ๊ป (Group)
เชตกับการดำเนินการทวิภาคที่กำหนด จะมีสมบัติเปลี่ยนหมู่เสมอแต่สมบัติสลับที่บางเซตกับการการดำเนินการอาจจะไม่มีและ นอกจากนี้ยังพบว่าจำนวนจริง R จำนวนตรรกยะ Q และจำนวนเต็ม Z กับการดำเนินการทวิภาคการบวกปกติ มีสมบัติเปลี่ยนหมู่ มีสมาชิกศูนย์ และมีตัวผูกผันการบวก (-a โดยที่ a + (-a) = 0 ) ซึ่งเราเรียก เซตของจำนวน R Q และ
Z กับการบวกนี้ว่า กรุ๊ป ดังนิยามต่อไปนี้