Jokuaaraiha

Jokuaaraiha (karaiñeꞌẽme: función) peteĩ jokuaa mokõi papapyaty apytépe, peteĩ eleménto oñembohekopyréva oĩhápe peteĩteĩ eleménto ambue atyguápe g̃uarã.

Ojehai jokuaa mboyraiha kóicha:

$f\colon X\to Y\,$

Jokuaaraiha omboheko mokõive ko'ã ñemohenda:

1. Teko: Peteĩteĩ X mbaꞌekuaarã ojoaju Y mbaꞌekuaarã ndive, heꞌiséva, $\forall x\in X,\ \exists y\in Y\ \backslash \ (x,y)\in f.$
2. Tape ojehechakuaáva: aty X peteĩteĩ eleménto ojoaju aty Y peteĩnte eleméntope, heꞌiséva, upérõ $(x,y_{1})\in f\land (x,y_{2})\in f\Rightarrow y_{1}=y_{2}.$

Opaicha jokuaa, oguerekóva eleménto $x\in X$ ha hendive ojoajúva peteĩnte eleménto $y\in Y$, ha'e $f(x)=y\,$ (jokuaaraiha ekuasiõ), $(x,y)\in f$ hekoviávo.