Aksiom unije: razlika između inačica
Prijeđi na navigaciju
Prijeđi na pretraživanje
Bot: Automatski unos stranica |
m bnz |
||
| Redak 1: | Redak 1: | ||
Aksiom unije jedan je aksioma [[Zermelo–Fraenkelova teorija skupova|Zermelo-Frankelove]] teorije skupova. On tvrdi sljedeće: Ako je X skup, onda je klasa koju tvore svi elementi svih elemenata skupa X također skup. | |||
Simbolički: (∀x)(∃y)(∀z) z ∈ y ako i samo ako (∃a) (z ∈ a i a ∈ x). | Simbolički: (∀x)(∃y)(∀z) z ∈ y ako i samo ako (∃a) (z ∈ a i a ∈ x). | ||
[[Kategorija:Teorija skupova]] | [[Kategorija:Teorija skupova]] | ||
Posljednja izmjena od 28. travanj 2022. u 18:20
Aksiom unije jedan je aksioma Zermelo-Frankelove teorije skupova. On tvrdi sljedeće: Ako je X skup, onda je klasa koju tvore svi elementi svih elemenata skupa X također skup.
Simbolički: (∀x)(∃y)(∀z) z ∈ y ako i samo ako (∃a) (z ∈ a i a ∈ x).