Aksjomat podzbiorów

Aksjomat podzbiorów (aksjomat wyróżniania, wycinania) – jeden z aksjomatów teorii mnogości w ujęciu Zermelo-Fraenkela. W istocie aksjomat podzbiorów nie jest jednym aksjomatem, lecz schematem aksjomatów i stwierdza:

Dla danego predykatu P z jedna zmienną, niezawierającego symbolu B:
\forall A\, \exist B\, \forall z : z \in B \iff z \in A \and P(z).

Innymi słowy, przy danej formule P dla każdego zbioru A istnieje zbiór tych elementów z A, które spełniają P.

Aksjomat ten daje się wyprowadzić z aksjomatu zbioru pustego stwierdzającego istnienie zbioru pustego oraz z aksjomatu zastępowania. Z tego powodu często nie jest wymieniany na liście aksjomatów Zermelo-Fraenkela.

Źródło: "http://pl.wikipedia.org/wiki/Aksjomat_podzbior%C3%B3w"

Bilety ciekawe programy Księgarnia, książki Podręcznik PHP Domeny gry Podręczniki - Księgarnia Pensjonaty Zakopane Zdjęcia Olsztyn praca dla informatyka hotele spy sweeper Kasyno muzyczne albumy za free, album kick koparki Bułgaria wczasy Karaoke tani kredyt hipoteczny COOLsurf