Definition of "non-empty"

non-empty