Ara sistemo de finia speco

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

Familio \mathcal{F} de aroj estas de finia speco se ĝi havas jenajn propraĵojn:

  1. Por ĉiu A\in \mathcal{F}, ĉiu finia subaro de A apartenas al \mathcal{F}.
  2. Se ĉiu finia subaro de donita aro A apartenas al \mathcal{F} do A apartenas al \mathcal{F}.