 Ring extension

A ring extension $A\subseteq B$ is an inclusion of rings that makes $B$ an $A$-algebra.