# Definition:Rational Integer

## Definition

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$.