Ara sistemo de finia speco

Familio  de aroj estas de finia speco se ĝi havas jenajn propraĵojn:
Por ĉiu , ĉiu finia subaro de  apartenas al 
Se ĉiu finia subaro de donita aro  apartenas al  do  apartenas al 

Kategorio:Araj familioj