 Modulus of a number field

A modulus is a formal product $\mathfrak{m}={\mathfrak{m}}_0{\mathfrak{m}}_{\infty }$, where ${\mathfrak{m}}_0$ is a nonzero integral ideal and ${\mathfrak{m}}_{\infty }$ is a product of distinct real places.