Every integral domain can be embedded in a field (see proof below). That is, using concepts from set theory, given an arbitrary integral domain (such as the integers), one can construct a field that contains a subset isomorphic to the integral domain. Such a field is called the field of fractions of the given integral domain.