Induktív halmaz

A Programozás Wiki wikiből

Induktív halmaznak nevezzük azokat a H halmazokat, melyekre teljesül az alábbi két tulajdonság:

  • 0 eleme H-nak
  • ha x eleme H-nak, akkor x+1 is eleme H-nak

A természetes számok halmaza a legszűkebb olyan halmaz, melyekre ezek a tulajdonságok teljesülnek.