nonempty finite set的用法和樣例：
例句
- In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.
摘要在二值謂詞邏輯中引入了一階語言的一類特殊解釋，該類解釋中的解釋域取為非空有限集。 - For example, every nonempty finite semigroup is periodic, and has a minimal ideal and at least one idempotent.
例如，所有非空有限半群是周期性的，並有一個極小理想和至少一個冪等元。
