Функције
Пресликавање (функција) скупау скуп
, у ознаци
, јесте релација
која има својство да је сваки елемент скупа
у релацији
са тачно једним елементом скупа
.
За пресликавањекажемо да је
ако важи
или, што је еквивалентно,
Пресликавањеје
ако
Ако суи
пресликавања, тада је
производ (композиција) пресликавања
и
и дефинисан је условом
Нека је1-1 и НА пресликавање. Тада постоји инверзно пресликавање
, тако да је
за
и
за
.