noun the branch of mathematics that deals with the extension of algebraic concepts usually associated with the real number system to other, more general systems.