Tập hợp các phần tử cùng với phép toán hai ngôi kết hợp hai phần tử bất kỳ của tập hợp thành một phần tử thứ ba thỏa mãn bốn điều kiện gọi là tiên đề nhóm
במתמטיקה, חבורה היא מבנה אלגברי המורכב מקבוצה ופעולה בינארית אסוציאטיבית.