Let be an integral domain, a subset of and
a family of
prime ideals of such that is invertible modulo for all
.
Beginning with this data, we construct
an overring of the polynomial ring such
that every ideal is contained in a principal prime ideal of .