From HomoExcelsior

1. A generalization of arithmetic in which symbols, usually letters of the alphabet, represent numbers or members of a specified set of numbers and are related by operations that hold for all numbers in the set. 2. A set together with operations defined in the set that obey specified laws.

---