An nonempty Set that possesses Operations which satisfy Axioms. It is a kind of Structure Algebraic Field Vector Space Group Monoid Abelian Group Ring Division Ring Integral Domain Module Algebra