Definition of "nonempty"

nonempty