Ara sistemo de finia speco

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

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

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