Matemaatiline maailmapilt
h (g f )=( f g) f .
Definitsioon
IX: X X
Olgu X hulk. Samasusteisenduseks ehk identsusteisenduseks nimetatakse
funktsiooni, mis hulga X igale elemendile seab vastavusse sama elemendi, s.t I X (x)=x
iga x X korral.
Lause
f I X =I Y f =f
Kui f : X Y , siis .
TÕESTUS
Lonegu videos? Ei leidnud.
Lause
Kui f : X Y ja g :Y Z on injektiivsed, siis ka gf : XZ on injektiivne.
TÕESTUS
x1 , x2 X x 1 x2 f
Olgu sellised, et . Siis funktsiooni injektiivsuse tõttu
f ( x1 ) f ( x 2) . Viimasest aga järeldub funktsiooni g injektiivsuse tõttu, et
annaabi.ee 
