A number system with a notion of addition and multiplication. Examples are the integers, rationals, complex numbers, polynomials over any of the above, and so on.

From a programming point of view, imagine a type with an overloaded + and * operator. You'll be close.