|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:containsElement
|
gptkb:waterfall
|
|
gptkbp:defines
|
A collection of distinct objects, considered as an object in its own right
|
|
gptkbp:hasAxiom
|
gptkb:Axiom_of_extensionality
gptkb:Axiom_of_infinity
gptkb:Axiom_of_pairing
gptkb:Axiom_of_power_set
gptkb:Axiom_of_regularity
gptkb:Axiom_of_specification
gptkb:Axiom_of_union
gptkb:Axiom_of_choice
|
|
gptkbp:hasNotationFor
|
Curly braces {}
|
|
gptkbp:hasProperty
|
Cardinality
Subset
Superset
|
|
gptkbp:hasType
|
Power set
Empty set
Universal set
Countable set
Finite set
Infinite set
Singleton set
Uncountable set
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Menge
|
|
gptkbp:languageOfOrigin
|
gptkb:German
|
|
gptkbp:operator
|
gptkb:intersection
Union
Complement
Difference
|
|
gptkbp:relatedTo
|
gptkb:Mathematics
gptkb:Russell's_paradox
gptkb:Zermelo–Fraenkel_set_theory
gptkb:logic
gptkb:waterfall
gptkb:Venn_diagram
gptkb:Naive_set_theory
|
|
gptkbp:studiedBy
|
gptkb:Georg_Cantor
|
|
gptkbp:symbol
|
S
|
|
gptkbp:translatedInto
|
gptkb:Set_(English)
|
|
gptkbp:usedIn
|
gptkb:Set_theory
|
|
gptkbp:bfsParent
|
gptkb:Jonathan_Menge
|
|
gptkbp:bfsLayer
|
4
|