Aksiom unije

Izvor: Hrvatska internetska enciklopedija
Inačica 384963 od 10. prosinca 2021. u 22:02 koju je unio WikiSysop (razgovor | doprinosi) (Bot: Automatski unos stranica)
(razl) ←Starija inačica | vidi trenutačnu inačicu (razl) | Novija inačica→ (razl)
Skoči na:orijentacija, traži

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).

Dobavljeno iz "https://enciklopedija.cc/index.php?title=Aksiom_unije&oldid=384963"