Kinraysuyu

Kay hinam kinraysuyup minuywantam qillqanchik:

${\displaystyle f\colon X\to Y\,}$

Kinraysuyuqa kay iskaynintin phatantam hunt'an:

1. Kay: Tukuy X-pa nipankunaqa Y-pa napankunawanmi apanakun, chayqa nin, ${\displaystyle \forall x\in X,\ \exists y\in Y\ \backslash \ (x,y)\in f.}$
2. Sut'i nipapurachi: X-pa llapan nipanqa Y-pa hukllalla nipanwanmi apanakun, chayqa nin, sichus ${\displaystyle (x,y_{1})\in f\land (x,y_{2})\in f\Rightarrow y_{1}=y_{2}.}$

Llapa apanakuyqa, ${\displaystyle x\in X}$ nipayuq, chaywan huk (hukllalla) ${\displaystyle y\in Y}$ apanakuq nipayuq, ${\displaystyle f(x)=y\,}$ nisqam (kinraysuyu paqtachani), ${\displaystyle (x,y)\in f}$ nisqa ranti.