Gli alberi sono delle strutture dati,essi sono composti da tanti nodi (che possono contenere info etc)collegati tra loro. Solitamente un albero binario(albero che può avere al max due figli) è costituito in questo modo,l'uso della ricorsione negli alberi è quasi un obbligo:

type pAlbero=^nodo
nodo=record
info:integer;
sx,dx:pAlbero;
end;

Non basterebbero 3 pagine di queste per descrivere bene cosa è un albero.
Per info dettagliate ti consiglio un qualunque libro di programmazione o sul web.
Ciao