Tekst źródłowy strony Logika i teoria mnogości/Działania nieskończone

==Sumy i iloczyny uogólnione==
Niech <math> \mathcal{F} </math> będzie dowolną rodziną zbiorów.
{{Definicja|'''Sumą uogólnioną''' rodziny <math> \mathcal{F} </math> nazywamy zbiór <math> \bigcup\mathcal{F} </math> taki, że 

<math> (\forall_x)(x\in\bigcup\mathcal{F} \iff (\exists_{F\in\mathcal{F}})x\in F) </math>}}

{{Definicja|'''Iloczynem uogólnionionym''' rodziny <math> \mathcal{F} </math> nazywamy zbiór <math> \bigcap\mathcal{F} </math> taki, że 

<math> (\forall_x)(x\in\bigcap\mathcal{F} \iff (\forall_{F\in\mathcal{F}})x\in F) </math>}}