23363

Przeciwobraz zbioru B poprzez funkcję f:

f '[B} ={xeD_f : f{x)e fi}

Restrykcja funkcji

f:X-*Y

AczX

g-.A^Y

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

f D_g := AnD_f UM = /M.V*e D_g

i oznaczamy

/L^:=«

f:X^Y

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

U ⁵⁴ *2 => /(■''l ) ⁵⁶ f(^X2 ))

zapis ten jest równoważny z zapisem:

^vwD,(/('0=/W=^:>*i =jf₂)

Iniekcję / oznaczamy

2