 Integral ideal

An integral ideal is a fractional ideal contained in the ring of integers ${\mathcal{O}}_K$.