Wiktionary
nonempty
a. 1 Not empty, containing something. 2 (context mathematics English) Of a set, containing at least one element, thereby being distinct from the empty set.