Ara sistemo de finia speco

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}.$