Ĉ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 $f:X\to Y$, estas tia rilato $f\in X\times Y$, ke por ĉiu $x\in X$ en f ekzistas precize unu duopo $(x,y)\in f$. Por tio oni uzas ankaŭ la notacion $y=f(x)$.

Vidu ankaŭ

• Parta funkcio