Algebraic Structure

A set (or class) equipped with specified finitary operations and relations—such as binary operations, unary operations, and distinguished elements—together with axioms they satisfy; this data defines the algebraic object under study (e.g., group, ring, lattice).