finite set的用法和樣例：
例句
- The third part is to proof theimpaction set is finite.Comparing Hamiltonian systems without impacts, we should use a technical codition.
相對於沒有碰撞的哈密頓系統而言，我們為了證明碰撞點集是有限集而加入了一些技術性條件。 - In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.
摘要在二值謂詞邏輯中引入了一階語言的一類特殊解釋，該類解釋中的解釋域取為非空有限集。
