Diskuto:Kompakteca teoremo
Neuzita teksto[redakti fonton]
Tiam fiksu ajnan ultrafiltilon, sur konsistantan de ĉiuj finie generitaj maksimumaj ĉenoj en (kio estas ĉiuj i* = por i nemalplena finia subaro de ).
Tiam por (ĉiu, iu) , por ĉiuj tiel ke la _indicies_, por kiu tenas en , .
Tiam per la (fermaĵo, adheraĵo) de superaroj en ultrafiltriloj, ni havas tiel ke ni preni (tiu, ke, kiu) la _ultraproduct_ per Teoremo de Łoś. (Rothmaler 2000)