I = número de nivel, i = número de orden en hermanos , vl i = nodo de un árbol, M = (V, E) = arbol, V = {vl i} = nodos, E = {eij} = bordes, nodos hojas = nodos terminales, función genérica = Pi, nodos terminales = gi, nodos intermedios = gi o G, conjunto de si = S, n = número total de elementos, li = un elemento del menú
