$\ell$-groups Ordered algebraic structures mathematics