Qu'est-ce qu'un nonempty? nonempty est un
Qu'est-ce qu'un un?
- Not empty, containing something.
No buit, que contingui alguna cosa.
- Describing a set that contains at least one element and is therefore distinct from the empty set.
Descriure un conjunt que conté almenys un element i, per tant, és diferent del conjunt buit.