„Szerkesztő:Gubbubu/Halmazelmélet/Részhalmazok” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
58. sor:
=== Definíció ===
: Definíció: Az A osztály részosztályai osztályát, ha létezik, az A osztály '''hatványosztály'''ának nevezzük és P(A)-val jelöljük. Ha ez halmaz, akkor az A '''hatványhalmaz'''ról beszélünk. Formulával:
<center>P(A) := {x|x⊆A}</center>
: avagy
<center>P(A) := {x | x∉<big>''E''</big> ∧ ∀y∈x:(y∈A)}</center>
| |||