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

Insieme (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]
Entitá
is subclass of
  Astratto  
is subclass of
  InsiemeOClasse  
is subclass of
  Insieme  

Instance(s)

null set 

Subclass(es)

InsiemeFinito 

Coordinate term(s)

Classe  ClasseMutualmenteDisgiunta  ClasseDisgiuntaACoppie 

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)

InsiemeOClasse é esaustivamente partizionato in Insieme,Classe. 
(partition SetOrClass Set Class)