Aksjomat zbioru potęgowego

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Aksjomat zbioru potęgowego – jeden z aksjomatów teorii mnogości w ujęciu aksjomatycznym Zermela-Fraenkela.

Dla każdego zbioru istnieje zbiór , którego elementami są wyłącznie (dokładnie) podzbiory zbioru :
Gdzie oznacza po prostu , czyli y zawiera się w x.
Zbiory spełniające powyższy warunek nazywamy zbiorami potęgowymi danego zbioru x.

Bibliografia[edytuj]