La composición de dos funciones inyectivas (resp.