Giả sử trên một tập hợp X bất kì có trang bị một phép toán hai ngôi *, tức là tồn tại một hàm số:

Ta kí hiệu:
Phép toán * có tính kết hợp nếu như
với mọi a, b, c là phần tử của X.
| Bài này còn sơ khai. Mời bạn góp sức viết thêm để bài được hoàn thiện hơn. Xem phần trợ giúp về cách sửa bài. |