Abychom mohli definovat rekurzi, musíme nejprve definovat rekurzi.
pojem rekurze chápeme jako definování objektu pomocí sebe sama. Využívá se například pro definici přirozených čísel, stromových struktur a některých funkcí.
Např. rekurzivní definice binárního stromu:
Binární strom je buď prázdný, nebo sestává z jednoho uzlu zvaného kořen a dvou podstromů - levého a pravého.