X = a,b,c,d,e
Y = 1,2,3
G = (a,2), (b,1), (d,3), (e,1)
A = a,b
B = 1,2
Г(b)=1
Г(d)=3
Г(e)=1
Г(А)={2:1} - образ А
Г(?)={1;2}
прообразом {1;2} может быть как А, так и {a;e} и {a;b;e}
Свойства:
1) частично определено ( элемент с не определен) см. определение в приложении
2) функциональное, так как элементу из Х соответствует [b]один [/b]элемент из У
3) неинъективное
4) сюръективное