Fractional ideal

A fractional ideal of a number field is a nonzero ${\mathcal{O}}_K$-submodule $I\subset K$ for which $dI\subseteq {\mathcal{O}}_K$ for some nonzero $d\in {\mathcal{O}}_K$.