date: 2025-12-13 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