Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alsoKnownAs |
universal set
|
| gptkbp:defines |
the set that contains all objects under consideration in a particular discussion or problem
|
| gptkbp:field |
gptkb:set_theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
universe (set theory)
|
| gptkbp:property |
in Zermelo-Fraenkel set theory, a universal set does not exist
in naive set theory, the universe is sometimes assumed to exist all subsets are subsets of the universe complement of a set is relative to the universe contains all elements relevant to a given context may be finite or infinite depending on context in axiomatic set theory, the universe is often replaced by the class of all sets |
| gptkbp:relatedTo |
gptkb:Russell's_paradox
class (set theory) set-theoretic paradoxes |
| gptkbp:symbol |
U
|
| gptkbp:usedIn |
gptkb:algebra
gptkb:probability_theory gptkb:Venn_diagrams |
| gptkbp:bfsParent |
gptkb:Class_(set_theory)
|
| gptkbp:bfsLayer |
7
|