Definition:Non-Empty/Also known as

From ProofWiki
Jump to navigation Jump to search

Non-Empty: Also known as

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