nonempty
adjective
°Not empty, containing something.
°Describing a set that contains at least one element and is therefore distinct from the empty set.