(n) :
a system for computation using letters or other symbols to represent numbers, with rules for manipulating these symbols; a structure consisting of a set of
elements together with one or more
operations and rules specifying what expressions are equivalent