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

sImita samUha (FiniteSet)

A Set containing a finite number of elements.

Ontology

SUMO / SET/CLASS-THEORY

Superclass(es)

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  samUha yaa varga  
is subclass of
  varga  
is subclass of
  sImita samUha  

Axioms (1)

Agar set is an instance of sImita samUha, to yah kuch aQNaatmaka pUrNaanka number nahin, ki number is equal to "the number of instances in set". 
(=>
      (instance ?SET FiniteSet)
      (exists
            (?NUMBER)
            (and
                  (instance ?NUMBER NonnegativeInteger)
                  (equal
                        ?NUMBER
                        (CardinalityFn ?SET)))))