ALGEBRAIC GROUP

Definition A object is an <ALGEBRAIC GROUP> if and only if: it is a <STRUCTURE(math)> and it contains a principal set S and a binary relationship *, that comply with the following axioms