Rekursion uppstår när någonting definieras i termer av sig själv. Rekursion används inom en mängd olika discipliner, från lingvistik till logik. Det vanligaste användningsområdet av rekursion är inom matematik och datavetenskap, där en funktion definieras som tillämpad på sig själv. Även om detta tydligen definierar ett oändligt antal instanser (funktionsvärden), görs det ofta på ett sådant sätt att ingen slinga eller oändlig kedja av referenser kan förekomma.