#{sääntö|sääntö}#, joka kuvaa #{suure|suureen}# riippuvuutta toisesta suureesta tai #{muuttuja|muuttujasta}#. Matemaattisesti määriteltynä funktio on #{relaatio|relaation}# alatyyppi, jossa jokaiseen #{lähtöjoukko|lähtöjoukon}# #{alkio|alkioon}# liitetään korkeintaan yksi #{maalijoukko|maalijoukon}# alkio.