Prova de que um conjunto é quociente se e só se é uma partiçãoProva de que todo conjunto de classes de equivalências é uma partição.
