Overring

In mathematics, particularly in the field of ring theory, an **overring** is a type of ring that contains another ring as a subring. More formally, given a ring \( R \), an overring \( S \) is defined such that: 1. \( R \) is a subring of \( S \) (i.e., every element of \( R \) is also an element of \( S \)).