a branch of mathematics in which abstract letters and symbols represent numbers in order to generalize the arithmetic