Definition:Non-Empty/Also known as

Non-Empty: Also known as
Some sources prefer to use nonempty, but, in striving for consistency, standardises on non-empty.