nonempty
Short definition from Wiktionary
Adjective
- Not empty, containing something.
- Of a set, containing at least one element, thereby being distinct from the empty set.
We haven’t written up nonempty yet: Simple and Standard meanings, examples and a quiz.