„Halmazrendszer” 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
formázás |
|||
34. sor:
A halmazrendszerekkel különféle műveletek végezhetőek, pl.
* [[Unió (halmazelmélet)|Unió / Egyesítés]]: <math> \bigcup \left( \mathcal{R} \right) </math> <math> = </math> <math> \bigcup_{i \in I} U _{i} </math> <math> = </math> <math> \left\{ x \in \mathcal{U} \ \mathcal{j} \ \exist i \in I : x \in U_{i} \right\} </math>
* [[Metszet (halmazelmélet)|Metszet]]: <math> \bigcap \left( \mathcal{R} \right) </math> <math> = </math> <math> \bigcap_{i \in I} U _{i} </math> <math> = </math> <math> \left\{ x \in \mathcal{U} \ \mathcal{j} \ \forall i \in I : x \in U_{i} \right\} </math>.
* Diszjunkt unió vagy szimmetrikus differencia: az unió definíciójában az egzisztenciális kvantort unicit egzisztenciális kvantorra (<math> \exist ! </math> = „létezik pontosan egy ... ”) kell cserélni;
<!-- * direkt összeg -->
|