nonempty

[non-emp-tee]

adjective

Mathematics.

1. (of a set, group, collection, etc.) containing at least one element.

Word History and Origins

Origin of nonempty¹

First recorded in 1935–40; non- + empty

Example Sentences

One way of formalizing the idea is the following statement: Every nonempty subset of the real numbers that has an upper bound has a least upper bound.

Read more on Scientific American

This axiom, which most mathematicians use in their work, says that one can choose a single element of every set in a collection of nonempty sets.

Read more on Scientific American