Ara sistemo de finia speco

El Vikipedio, la libera enciklopedio
Jump to navigation Jump to search

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