Ściśle funkcja jest definiowana jako relacja pomiędzy elementami zbioru (dziedziny) i elementami zbioru (przeciwdziedziny), o tej własności, że każdy element zbioru jest w relacji z jednym i tylko jednym elementem zbioru .