Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

有限集合 (FiniteSet)

A Set containing a finite number of elements.

Ontology

SUMO / SET/CLASS-THEORY

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  集合或種類  
is subclass of
  集合  
is subclass of
  有限集合  

Axioms (1)

If set 是 有限集合 的 實例, then there exists 非負整數 number so that number 等於 "set 中 實例 的 數目". 
(=>
      (instance ?SET FiniteSet)
      (exists
            (?NUMBER)
            (and
                  (instance ?NUMBER NonnegativeInteger)
                  (equal
                        ?NUMBER
                        (CardinalityFn ?SET)))))