# Definition:Ring under Ring

Let $A$ be a commutative ring with unity.
A ring under $A$ is a pair $(B, f)$ where: