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

varga (Set)

A SetOrClass that satisfies extensionality as well as other constraints specified by some choice of set theory. Sets differ from Classes in two important respects. First, Sets are extensional - two Sets with the same elements are identical. Second, a Set can be an arbitrary stock of objects. That is, there is no requirement that Sets have an associated condition that determines their membership.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

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

Instance(s)

null set 

Subclass(es)

sImita samUha 

Coordinate term(s)

varga  paarasparika asambaddha samUha  yugmataH asambaddha samUha 

Constrains relations

property fn  element  subset 

Related WordNet synsets

set
an abstract collection of numbers or symbols; "the set of prime numbers is infinite"
set is kind of (all)...   set is kind of...   kinds of set...   kinds of set (all)...  
See more related synsets on a separate page.

Axioms (1)

samUha yaa varga is exhaustively partitioned into varga,varga. 
(partition SetOrClass Set Class)