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

množina (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.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

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

Instance(s)

null set 

Podtřída(y)

konečná množina 

Související termín(y)

třída  vzájemně disjunktní třídy  po dvou disjunktní třídy 

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.

Axiomy (1)

množina nebo třída je exhaustively partitioned into množina,třída. 
(partition SetOrClass Set Class)