A subring I of a ring R such that for every a in R and every x in I both ax and xa are in I. Every ideal of ℤ is of the form nℤ for some n and so principal. Ideals are those subrings for which a well-defined quotient ring R/I can be defined. See maximal ideal, prime ideal.