donde "v" es un nombre de variable tomado de un conjunto infinito predefinido de nombres de variables, y "E1" y "E2" son lambda-términos.