„Osztály (halmazelmélet)” változatai közötti eltérés
| [nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Mozo (vitalap | szerkesztései) |
Mozo (vitalap | szerkesztései) |
||
75. sor:
:''A'' ∩ ''B'' az a legbővebb ''C'' osztály, melyet ''A'' is és ''B'' is részként tartalmaz, azaz melyre:
::<math>(C\subseteq A)\wedge (C\subseteq B) \wedge (\forall D)((D\subseteq A\wedge D\subseteq B)\Rightarrow D\subseteq C)</math>
:''A''<sup>C<sup> az a legbővebb ''C'' osztály, mely diszjunkt ''A''-hoz, azaz melyre:
::<math>(''C\cap A=\emptyset'')\wedge (\forall D)(''D\cap A=\emptyset''\Rightarrow D\subseteq C)</math>
:ahol <math>''C\cap A=\emptyset''</math> jelsor a következő formulát rövidíti:
| |||