„Osztályfelbontás” változatai közötti eltérés

[nem ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
10. sor:
# nem üresek ( <math> \forall x \in P : x \ne \empty </math> ); másrészt
# páronként diszjunktak (<math> \forall x,y \in P : \left( x \cap y \ne \empty \Rightarrow x=y \right) </math> );
# egyesítésük kiadja az <math> U </math> univerzumhalmazt, azaz <math> \mathcal{U} </math> minden eleme valamelyik előfordul valamelyik <math> P </math> -beli halmazban, ha elég sokáig keresgélünk <math> P </math> elemeinakelemeinek elemei között ( <math> \bigcup_{x \in P} x = \bigcup {P} = U </math>, vagyis <math> \forall x \in U : \exist y \in P : x \in y </math> ).
 
== 2. definíció ==