Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Titan
gptkb:set_theory |
| gptkbp:appliesTo |
Sets
|
| gptkbp:category |
gptkb:logic
gptkb:Set_theory |
| gptkbp:describes |
Existence of the union set
|
| gptkbp:formedBy |
gptkb:Ernst_Zermelo
|
| gptkbp:guarantees |
For any set x, there is a set y whose elements are exactly the elements of the elements of x
|
| https://www.w3.org/2000/01/rdf-schema#label |
Axiom of Union
|
| gptkbp:partOf |
gptkb:Zermelo-Fraenkel_set_theory
|
| gptkbp:relatedTo |
gptkb:Axiom_of_Pairing
gptkb:Axiom_of_Power_Set |
| gptkbp:statedIn |
gptkb:Zermelo-Fraenkel_set_theory
|
| gptkbp:symbolizes |
∀A ∃B ∀c (c ∈ B ↔ ∃D (c ∈ D ∧ D ∈ A))
|
| gptkbp:usedIn |
Construction of unions in set theory
|
| gptkbp:bfsParent |
gptkb:set_theory
|
| gptkbp:bfsLayer |
4
|