Razlika između inačica stranice »Aksiom unije«

Izvor: Hrvatska internetska enciklopedija
Skoči na:orijentacija, traži
(Bot: Automatski unos stranica)
 
m (bnz)
 
Redak 1: Redak 1:
<!--'''Aksiom unije'''-->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.
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).