Wiktionary
non-empty
a. (context set theory English) Of a set, containing at least one element; not the empty set. alt. (context set theory English) Of a set, containing at least one element; not the empty set.