Ara sistemo de finia speco

El testwiki
Salti al navigilo Salti al serĉilo

Familio de aroj estas de finia speco se ĝi havas jenajn propraĵojn:

  1. Por ĉiu A, ĉiu finia subaro de A apartenas al .
  2. Se ĉiu finia subaro de donita aro A apartenas al do A apartenas al .