↑ green19:
Dejme tonu, že jde o konvergenci bodovou. Jestliže fn -> f na M1 a fn -> f na M2, pak 
Zkrátka: je-li "červený" každý prvek M1 i každý prvek M2, musí být "červené" i celé sjednocení, tím spíš celý průnik. Jenom místo "červené" tady máme tu konvergenci.
Zcela formálně: předchozí výrok znamená :
Označíme-li
jako výrok p,
jako výrok q,
jako výrok z, máme
který je ekvivalentní s
(možno ověřit tabulkou). Takže 

Offline