La función compuesta está bien definida porque cumple con las dos condiciones de existencia y unicidad, propias de toda función: