ntuicyjnie: sposób przyporządkowania każdemu elementowi danego zbioru X dokładnie jednego elementu pewnego zbioru Y.
Ściśle funkcja jest definiowana jako relacja pomiędzy elementami zbioru X (dziedziny) i elementami zbioru Y (przeciwdziedziny), o tej własności, że każdy element zbioru X jest w relacji z dokładnie jednym elementem zbioru Y.
