(1) een gegevensstructuur die gedeeltelijk bestaat uit andere exemplaren van de gegevensstructuur. Bijvoorbeeld, een boom is samengesteld uit kleinere bomen (substructuren) en leafknooppunten, en wellicht een lijst andere lijsten als elementen. (2) een algoritme in die functies zichzelf zou kunnen noemen. Bijvoorbeeld, quicksort of heapify.