Функция тури онын негизги касиеттеры
​

Функция (бейнелеу, оператор, түрлендіру) анықтамасы: {\displaystyle X}{\displaystyle X} және {\displaystyle Y}{\displaystyle Y} жиындары берiлсiн. Егер {\displaystyle X}{\displaystyle X} және {\displaystyle Y}{\displaystyle Y} жиындарының арасындағы {\displaystyle f}{\displaystyle f} сәйкестiгi бойынша {\displaystyle X}{\displaystyle X} жиынының әрбiр элементiне {\displaystyle Y}{\displaystyle Y} жиынының бiр ғана элементi сәйкес қойылса, {\displaystyle f}{\displaystyle f} сәйкестiгiн {\displaystyle X}{\displaystyle X} жиынынан {\displaystyle Y}{\displaystyle Y} жиынына бейнелеу деп аталады. Белгiлеуi: {\displaystyle f:X\rightarrow Y}{\displaystyle f:X\rightarrow Y}. Егер {\displaystyle y}{\displaystyle y} элементi {\displaystyle f}{\displaystyle f} бейнелеуi бойынша {\displaystyle x}{\displaystyle x} элементiнiң бейнесi болса, оны {\displaystyle f(x)=y}{\displaystyle f(x)=y} теңдiгi арқылы жазамыз. Мұндағы {\displaystyle x}{\displaystyle x} элементi {\displaystyle y}{\displaystyle y} элементiнiң {\displaystyle f}{\displaystyle f} бейнелеуі бойынша түпбейнесi, ал {\displaystyle y}{\displaystyle y} элементi {\displaystyle x}{\displaystyle x} элементiнiң бейнесi деп аталады.