Diskuto:Kompakteca teoremo
El Vikipedio
[redaktu] Neuzita teksto
Tiam fiksu ajnan ultrafiltilon,
sur I konsistantan de ĉiuj finie generitaj maksimumaj ĉenoj en I (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)

