[BFJ11, Theorem 7.9]. If $(\varphi_{\alpha})_{\alpha\in A}$ is a family of $\theta$-psh functions that is uniformly bounded above, then the usc upper envelope $(\sup_{\alpha}\varphi_{\alpha})^{*}$ is also $\theta$-psh.