nonempty set definition
nonempty (not comparable) 1  Not empty, containing something. ( 2 mathematics) Of a set, containing at least one element, thereby being distinct from the empty set.