Prova de que um conjunto é quociente se e só se é uma partição
Prova de que todo conjunto quociente é uma partição e que toda partição é um conjunto quociente.
Prova de que todo conjunto quociente é uma partição e que toda partição é um conjunto quociente.