In mathematics, and more specifically in abstract algebra, 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.
https://en.wikipedia.org/wiki/Algebraic_structure
Group-like algebraic structures
Ring-like algebraic structures
Lattice-like algebraic structures