# Overring

In mathematics, an overring B of an integral domain A is a subring of the field of fractions K of A that contains A: i.e., $A \subseteq B \subseteq K$.[1] For instance, an overring of the integers is a ring in which all elements are rational numbers, such as the ring of dyadic rationals.