Si un término lambda no contiene ningún subtérmino de la forma "(λv.E1 E2)" entonces no puede ser reducido, y se dice que está en forma normal.