Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

konečná množina (FiniteSet)

A Set containing a finite number of elements.

Ontologie

SUMO / SET/CLASS-THEORY

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  množina nebo třída  
is subclass of
  množina  
is subclass of
  konečná množina  

Axiomy (1)

Jestliže set je instancí třídy konečná množina, potom existuje nezáporné celé číslo number tak, že number se rovná "cardinality fn(set)". 
(=>
      (instance ?SET FiniteSet)
      (exists
            (?NUMBER)
            (and
                  (instance ?NUMBER NonnegativeInteger)
                  (equal
                        ?NUMBER
                        (CardinalityFn ?SET)))))