Qu'est-ce qu'un nonempty? nonempty est non vuoto
Qu'est-ce qu'un non vuoto?
- Not empty, containing something.
Non vuoto, contenente qualcosa.
- Describing a set that contains at least one element and is therefore distinct from the empty set.
Descrivere un insieme che contiene almeno un elemento ed è quindi distinto dall'insieme vuoto.