A 12.13. Definícióban bevezetett \leq reláció reflexív, azaz az \N halmaz tetszőleges a elemére teljesül, hogy a\leq a.