Como un tipo abstracto de datos (TAD), el tipo de árbol abstracto "T" con los valores de algún tipo "E" se define utilizando el tipo abstracto de los bosques "F" (lista de árboles), por las funciones: