Tanım: $X$ ve $Y$ herhangi iki küme ve $f\subseteq X\times Y$ olmak üzere
$$f, X\text{'den } Y\text{'ye fonksiyon}$$
$$:\Leftrightarrow$$
$$f:X\rightarrow Y$$$$:\Leftrightarrow $$$$\begin{cases} 1) (\forall x\in X)(\exists y\in Y)((x,y)\in f) \\ \\ 2) (\forall x\in X)(\forall y,z\in Y)[((x,y)\in f\wedge (x,z)\in f) \rightarrow y=z]\end{cases} $$