„Szerkesztő:Gubbubu/Halmazelmélet/Részhalmazok” változatai közötti eltérés

Tartalom törölve Tartalom hozzáadva
30. sor:
<center>A<big>=</big>B ⇔ (AB ∧ BA) </center>
AB azt jelenti, A minden eleme a B-nek is eleme. BA azt jelenti, hogy B minden eleme eleme az A-nak is. Tehát A-nak és B-nek pontosan ugyanazok az eleme. Azaz, ha AB és BA, akkor A<big>=</big>B, ahogy erről már, igaz, szűkszavúan, [[# alaptulajdonságai|fentebb]] szóltunk. A fordítottjára nézve: ha A<big>=</big>B, akkor az azt jelenti, ∀x:(x∈A ↔ x∈B), azaz ∀x:[(x∈A → x∈B) ∧ (x∈B → x∈A)], azaz ∀x:[(A⊆B)∧(B⊆A)], azaz amit bizonyítani kellett; Q.E.D.
=== Részhalmazok ===
 
<!--
=== Részhalmazok ===