nichtleer (leer + nicht-; negation)
ungleich leer, zum Beispiel ungleich der leeren Menge