Formaalisti funktio  joukolta  joukkoon  on sääntö, joka liittää jokaiseen joukon  alkioon täsmälleen yhden joukon  alkion.
fˌormaːlˈistɪf fuŋktˈio joukˈolta jˈoukːoːn on sˈæːntø, jˌoka lˈiːtːæː jokˈaiseːn jˈoukon alkˈioːn tæsmˈælleːn ˈyhden jˈoukon alkˈion.