groupdefinitionparagraphinitial list

1. There is a binary operation, denoted \cdot.
2. The operation is associative.
3. There is an identity element, e.

4. For every element b, there is an element c (the inverse), such that b\cdot c=c\cdot b = e.

If these conditions are met for a set G, then we say G is a group.