Zadanie:
Dané sú množiny
a
a zobrazenie
z množiny
do množiny
vrcholovým grafom.
Určíme, či zobrazenie
je surjektívne. Potom určíme
a
.
Riešenie:
Pretože šípky smerujú do všetkých troch prvkov množiny
(teda do
), zobrazenie
je surjektívne.
Šípka smerujúca z prvku
smeruje do prvku
. Preto
.
Šípka smerujúca z prvku
smeruje do prvku
. Preto
.