A Ring that is Commutative under multiplication, has a unit element, and has no divisors of 0. The Integers form an integral domain.
