Not empty, containing something.
Of a set, containing at least one element, thereby being distinct from the empty set.