Binary operations, algebraic systems such as semigroups, rings, integral domains, fields, extensions