Definición:
Un árbol es un grafo no dirigido conexo que no contiene circuitos.

Ejemplos:

i)	ii)

Definición:
Una colección de árboles disjuntos se llama bosque. Un vértice de grado 1 en un árbol se le llama hoja o nodo terminal, y un vértice de grado mayor que 1 recibe el nombre de nodo rama o nodo interno.

Ejemplo:
En el árbol i)
b, c, d, f, g, i, son nodos hoja
a, e, h, son nodos rama.

Existen algunas propiedades que señalaremos con relación a los árboles.
1) Existen un único paseo entre dos vértices cualesquiera en un árbol.
2) El número de vértices es mayor que el número de aristas en un árbol.
3) Un árbol con dos o más vértices tiene al menos una hoja.

Existen además otros resultados sobre la caracterización de árboles.
1) Un grafo en el cual existe un único paseo entre cada par de vértices es un árbol.
2) Un grafo conexo con e = v - 1 es un árbol.
3) Un grafo con e = v - 1 que no tiene circuitos es un árbol.