The study of structural properties. It allows variables represent numbers. Axioms Binary Operation Subtypes Vector Algebra Geometric Algebra