Some sources prefer to use nonempty, but $\mathsf{Pr} \infty \mathsf{fWiki}$, in striving for consistency, standardises on non-empty.