Erlazio bitar

Matematikan, $R$ erlazio bitarra matematika-erlazio bat da $A$ eta $B$ bi multzoen elementuen artean. Mota horretako erlazioa bikote ordenatuen bidez adierazten da, $(a,b)\in A \times B$:

$R = \Big\{ (a,b): \; a \in A \quad \land \quad b \in B \quad \land \quad R(a,b) = \mbox{egiazkoa} \Big\}$

Ondorengo proposizioak zuzenak dira $R\,$ erlazio bitarra adierazteko:

$a \mathcal{R} b \qquad \mbox{edo} \qquad R(a,b) \qquad \mbox{edo baita ere} \qquad (a,b) \in R$

Honela ere adieraz daiteke:

$\mathcal{R} \; a \; b$

Poloniar notazioan

Adibidea

• Zenbaki errealen multzoa $\mathbb{R}$ emanda, planoko puntuen $P (x,y)$ erlazio bitarra, non $y = 2 x^2 - 3x +5$ den, honela definitzen da:

$P = \{ (x,y): \; (x,y) \in \mathbb{R}^2 \; \land \; y = 2 x^2 - 3x +5 \}$