Etymology
Today it means: Of a set, containing at least one element; not the empty set. Full definition →
From non- + empty.
Etymology from Wiktionary, CC BY-SA 4.0.