Ara sistemo de finia speco

El testwiki
Revizio de 15:56, 9 mar. 2013 fare de imported>Addbot (Roboto: Forigo de 2 interlingvaj ligiloj, kiuj nun disponeblas per Vikidatumoj (d:q578304))
(malsamoj) ← Antaŭa versio | Rigardi nunan version (malsamoj) | Sekva versio → (malsamoj)
Salti al navigilo Salti al serĉilo

Familio ℱ de aroj estas de finia speco se ĝi havas jenajn propraĵojn:

  1. Por ĉiu A∈ℱ, ĉiu finia subaro de A apartenas al ℱ.
  2. Se ĉiu finia subaro de donita aro A apartenas al ℱ do A apartenas al ℱ.
Elŝutita el "https://eo.wiki.beta.math.wmflabs.org/w/index.php?title=Ara_sistemo_de_finia_speco&oldid=308"