Formellt är ett träd en graf utan cykler och består av noder förbundna av bågar; se grafteori. T.ex. används trädstrukturer för att avbilda organisationsstrukturer och släktförhållanden: i ett släktträd avbildas personer som noder medan föräldraskap motsvaras av bågar.