Lemma 16.8.26FB1663F2B6E1

Lemma 16.8.26.FB1663F2B6E1 Let $\pi \colon Y\rightarrow X$ be a proper bimeromorphic morphism from a Kähler manifold $Y$. Given two quasi-plurisubharmonic functions $\varphi ,\psi $ on $X$, then the following are equivalent:

1. 8ED2C9D6D32D

   $\varphi \preceq _{P} \psi $;

2. 754FFF454EEB

   $\pi ^*\varphi \preceq _{P} \pi ^*\psi $.

The same holds with $\mathcal{I}$ in place of $P$.