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

InsiemeFinito (FiniteSet)

A Set containing a finite number of elements.

Ontology

SUMO / SET/CLASS-THEORY

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  InsiemeOClasse  
is subclass of
  Insieme  
is subclass of
  InsiemeFinito  

Axioms (1)

Se set é un' istanza di InsiemeFinito, allora esiste NumeroInteroNonNegativo number tale che number is uguale a "il numero di istanzia in set". 
(=>
      (instance ?SET FiniteSet)
      (exists
            (?NUMBER)
            (and
                  (instance ?NUMBER NonnegativeInteger)
                  (equal
                        ?NUMBER
                        (CardinalityFn ?SET)))))