- siin ka operaator - eeskiri f, mis määrab kujutuse mingitest hulkadest 
, 
hulka Y. Tähistus 
. Suvalisi elemente 
nimetatakse funktsiooni argumentideks ja kujutust 
funktsiooni f väärtuseks kohal 
. Arvu n nimetatakse funktsiooni f aarsuseks e. kohalisuseks. 0-aarsed funktsioonid on ekvivalentsed konstantidega hulgast Y.