|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:canBe
|
infinite
finite
empty
|
|
gptkbp:containsElement
|
gptkb:set_theory
member
|
|
gptkbp:definedIn
|
collection of distinct objects
|
|
gptkbp:field
|
gptkb:mathematics
|
|
gptkbp:hasAxiom
|
gptkb:von_Neumann–Bernays–Gödel_set_theory
gptkb:Zermelo-Fraenkel_set_theory
|
|
gptkbp:hasDefinitionBy
|
gptkb:Georg_Cantor
|
|
gptkbp:hasParadox
|
gptkb:Russell's_paradox
|
|
gptkbp:hasProperty
|
gptkb:cardinality
power set
subset
superset
|
|
gptkbp:hasSpecialCase
|
empty set
singleton set
|
|
gptkbp:hasType
|
gptkb:countable_set
gptkb:ordered_set
power set
multiset
finite set
empty set
infinite set
singleton set
fuzzy set
uncountable set
unordered set
|
|
gptkbp:introducedIn
|
late 19th century
|
|
gptkbp:notation
|
curly braces {}
|
|
gptkbp:operator
|
gptkb:intersection
gptkb:Union
difference
Cartesian product
complement
|
|
gptkbp:relatedTo
|
gptkb:software
gptkb:element
equivalence relation
partition
relation
subset
superset
universal set
|
|
gptkbp:studiedIn
|
gptkb:set_theory
|
|
gptkbp:symbol
|
S
A
B
C
X
Y
Z
|
|
gptkbp:usedIn
|
gptkb:analysis
gptkb:algebra
gptkb:logic
gptkb:probability_theory
gptkb:topology
computer science
discrete mathematics
|
|
gptkbp:bfsParent
|
gptkb:Mengde
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Set (in mathematics)
|