Group

Similar algebraic structures that follow the axioms:

1. Associative multiplication $G\times G\to G$
2. Identity element $e\in G$ s.t $eg=ge=g$
3. For any $g\in G$, an inverse $g_{-1}\in G$ s.t $g{g}^{-1}=g^{-1}g=e$