# Definition:Rational Integer

Let $K$ be a number field.
A rational integer of $K$ is an integer of $K$, that is, an element of $\mathbb Z \subseteq K$.