Nonempty Definition

adjective
Not empty, containing something.
Wiktionary

(mathematics) Of a set, containing at least one element, thereby being distinct from the empty set.

Wiktionary