Here is a way to construct a domain out of a given one.
Proposition
If R is a domain, then so is
R[X].
The following property is an important reason why domains are good to
work with.
Cancellation law for domains
If
a is a nonzero element of a domain, then
ax = ay implies
x = y.