Razlika između inačica stranice »Aksiom unije«
Izvor: Hrvatska internetska enciklopedija
(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]] | ||
Trenutačna izmjena od 18:20, 28. travnja 2022.
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).