Ĉefpaĝo
Hazarde
Ĉirkaŭe
Ensaluti
Agordoj
Donaci
Pri Vikipedio
Malgarantioj
Serĉi
Ara sistemo de finia speco
Lingvo
Atenti
Redakti
Estas neniuj versioj de ĉi tiu paĝo, do ĝi eble
ne
estis
kvalite kontrolita
.
Familio
F
{\displaystyle {\mathcal {F}}}
de
aroj
estas de
finia speco
se ĝi havas jenajn propraĵojn:
Por ĉiu
A
∈
F
{\displaystyle A\in {\mathcal {F}}}
, ĉiu
finia
subaro
de
A
{\displaystyle A}
apartenas al
F
.
{\displaystyle {\mathcal {F}}.}
Se ĉiu finia subaro de donita aro
A
{\displaystyle A}
apartenas al
F
{\displaystyle {\mathcal {F}}}
do
A
{\displaystyle A}
apartenas al
F
.
{\displaystyle {\mathcal {F}}.}
