L'évolution d'un groupe d'espèces est représentée sous la forme d'un arbre où chaque embranchement correspond à la création d'une nouvelle espèce. On entend ici par « arbre », l'objet formel dont l'étude relève des mathématiques et de l'informatique. Ce chapitre présente les principales propriétés des arbres formels, quelques résultats de dénombrement ainsi que deux processus mathématiques régulièrement utilisés pour modéliser les arbres évolutifs.