Esta restricción garantiza el cumplimiento de la definición de función.