La variable ν se llama el parámetro formal de la abstracción, y E1 es el cuerpo de la abstracción.