< [[nlab:integral domain]] There are many different types of integral domains. Some of these include * [[Heyting integral domain]] * [[discrete integral domain]] * [[residue integral domain]] et cetera. ## See also ## * [[GCD domain]] * [[Euclidean domain]] * [[commutative ring]] * [[domain (ring theory)|domain]] * [[field (ring theory)|field]]