• hierarchie rekurzí
• rekurzivní funkce
• rekurzivní relace
• rekurzivní modely
• induktivní definice