nonemptyとは何ですか？ nonemptyはnão vazioです
não vazioとは何ですか？
- Not empty, containing something.
Não está vazio, contendo algo.
- Describing a set that contains at least one element and is therefore distinct from the empty set.
Descrevendo um conjunto que contém pelo menos um elemento e, portanto, é distinto do conjunto vazio.