What is nonempty? nonempty is no vacío
What is 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.