donde V es una variable, P es una de las funciones primitivas, E1 y E2 son términos combinatorios.