 Integral ideal

An integral ideal is a fractional ideal of an integral domain $A$ that is contained in $A$. For a number field, take $A$ to be its ring of integers ${\mathcal{O}}_K$.