23385

Przeciwobraz zbioru B poprzez funkcję f:

f    D_f : f(x)e B}

Restrykcja funkcji

f: X —>Y

AczX g’- A—*Y

Funkcję g nazywamy restrykcją (zawężeniem) funkcji f do zbioru A, jeśli

fD_g^AnD_f

UW = /W.Vxe D_g

i oznaczamy

Aa ■= * f:X^Y

Funkcja f jest injekcją (funkcją różnowartościową), jeśli

fa * *2 => /U, ) * f(x2 ))

zapis ten jest równoważny z zapisem:

(/M = /(*2 )=>■»! =*2)

Iniekcję f oznaczamy

/:X<^ K

2