Una lambda expresión que no admite ninguna beta reducción se dice que está en su forma normal.