Non-empty definition

(set theory) Of a set, containing at least one element; not the empty set.