Rings of integers in the context of "Subring"

In mathematics, the ring of integers of an algebraic number field ${\displaystyle K}$ is the ring of all algebraic integers contained in ${\displaystyle K}$. An algebraic integer is a root of a monic polynomial with integer coefficients: ${\displaystyle x^{n}+c_{n-1}x^{n-1}+\cdots +c_{0}}$. This ring is often denoted by ${\displaystyle O_{K}}$ or ${\displaystyle {\mathcal {O}}_{K}}$. Since any integer belongs to ${\displaystyle K}$ and is an integral element of ${\displaystyle K}$, the ring ${\displaystyle \mathbb {Z} }$ is always a subring of ${\displaystyle O_{K}}$.

The ring of integers ${\displaystyle \mathbb {Z} }$ is the simplest possible ring of integers. Namely, ${\displaystyle \mathbb {Z} =O_{\mathbb {Q} }}$ where ${\displaystyle \mathbb {Q} }$ is the field of rational numbers. And indeed, in algebraic number theory the elements of ${\displaystyle \mathbb {Z} }$ are often called the "rational integers" because of this.