Zadanie , że fumkcja jest "na", czyli suriekcją



bierzemy z tego drugiego R (z przeciwdziedziny)
powyżej jest treść zadania

Rozwiązanie:
Kożystamy z definicji, która brzmi

jest "na" wtedy i tylko wtedy, gdy dla każdego b należącego do B istnieje a należącego do A
( w miejscach A, B wstawiamy w naszym przypadku R)

ustalmy dowolne
(małe b to jest y, a jest x)
pytamy się czy istnieje takie a należące (
) do R, że
(małe b to jest y, a jest x)
Weźmy
(jest to przekształcenie
)
Wtedy
(po pierwszym znaku = w miejscu
podkładamy
{wyżej wyprowadzone})
Odpowiedź: Pokazaliśmy, że ta funkcja jest "na", czyli suriekcją. (jest to funkcja "na", bo wyszło



A zadanie, w którym funkcja nie jest "na", to takie w którym nie wyjdzie