\{x\cdot (y\cdot z)\approx (x\cdot y)\cdot z, x\cdot \mathbf{e}\approx x, x\cdot x^{-1}\approx \mathbf{e}\}