Ĉefpaĝo
Hazarde
Ĉirkaŭe
Ensaluti
Agordoj
Donaci
Pri Vikipedio
Malgarantioj
Serĉi
Ara sistemo de finia speco
Lingvo
Atenti
Redakti
(Alidirektita el
Ara sistemo de finia signo
)
Nuna versio
(nereviziita)
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}}.}