Vidi fonton por Ara sistemo de finia speco

Familio <math>\mathcal{F}</math> de [[Aro (matematiko)|aroj]] estas de '''finia speco''' se ĝi havas jenajn propraĵojn:
#Por ĉiu <math>A\in \mathcal{F}</math>, ĉiu [[finia]] [[subaro]] de <math>A</math> apartenas al <math>\mathcal{F}.</math>
#Se ĉiu finia subaro de donita aro <math>A</math> apartenas al <math>\mathcal{F}</math> do <math>A</math> apartenas al <math>\mathcal{F}.</math>

[[Kategorio:Araj familioj]]