\begin{definition}[Definition:Ring under Ring]
Let $A$ be a commutative ring with unity.
A '''ring under $A$''' is a pair $(B, f)$ where:
* $B$ is a commutative ring with unity
* $f : A \to B$ is a unital ring homomorphism
\end{definition}