Что такое nonempty? nonempty это no vacío
Что такое no vacío?
- Not empty, containing something.
No vacío, conteniendo algo.
- Describing a set that contains at least one element and is therefore distinct from the empty set.
Describir un conjunto que contiene al menos un elemento y, por lo tanto, es distinto del conjunto vacío.