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