Es decir que f es una identificación (función cociente)