An algebraic structure is a set (called carrier set or underlying set) with one or more finitary operations defined on it that satisfies a list of axioms.
Examples of algebraic structures include groups, rings, fields, and lattices.