(1) Una estructura de dades que està parcialment formada per altres instàncies de l'estructura de dades. Per exemple, un arbre es compon d'arbres més petits (subtrees) i nusos de les fulles, i una llista pot tenir altres llistes com a elements. (2) Un algorisme que funcions podria anomenar-se. Per exemple, quicksort o heapify.