Es seien
und
Mengen, wobei
endlich sei. Es sei
die
Äquivalenzrelation
auf
aus
Aufgabe
und sei
-
die in
Aufgabe
besprochene Abbildung.
- Es sei
eine bijektive Abbildung und
eine Abbildung. Zeige
-
![{\displaystyle {}\Psi (f)=\Psi (f\circ \pi )\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/578adf7f8aa2fbc8ffcb0b7fb53435f6e7d47e8d)
- Es seien
.
Zeige
genau dann, wenn
ist.
- Zeige, dass es eine
injektive Abbildung
-
mit
gibt, wobei
die
kanonische Projektion
in die
Quotientenmenge
bezeichnet.