Non-empty definitions

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