We assume inf{ ∅ } =+∞.