The study of mathematical systems consisting of a set of elements, one or more binary operations by which two elements may be combined to yield a third, and several rules (axioms) for the interaction of the elements and the operations; includes group theory, ring theory, and number theory.