Soit $Y$ un domaine analytique fermé de $X$, et soit $Y^{\prime}$ un domaine analytique fermé de $Y$. On a alors $\int_{Y^{\prime}}\mathopen{|}{\omega}\mathclose{|}\leq\int_{Y}\mathopen{|}{\omega}\mathclose{|}$. Cela résulte en effet immédiatement de la définition de l’intégrale et de la proposition 3.7.2.