Ĉie difinita funkcio

En matematiko, ĉie difinita funkcio aŭ ĉiea funkcio aŭ totala funkcio estas funkcio, kies argumentaro estas la tuta fonta aro.

 Formala difino 
Ĉie difinita funkcio f el aro X al aro Y, simbole , estas tia rilato , ke por ĉiu  en f ekzistas precize unu duopo . Por tio oni uzas ankaŭ la notacion .

 Ilustraj ekzemploj 

 Vidu ankaŭ 
 Parta funkcio

Kategorio:Rekursia teorio
Kategorio:Aro-teorio