Erlazio bitar

Matematikan, erlazio bitar bat ${\displaystyle A}$ eta ${\displaystyle B}$ multzoen elementuen artean definitutako ${\displaystyle {\mathcal {R}}}$ matematika-erlazio bat da.

${\displaystyle A}$ eta ${\displaystyle B}$ multzoen arteko ${\displaystyle {\mathcal {R}}}$ erlazio bat ${\displaystyle {\mathcal {P}}(a,b)}$ propietatea betetzen duten ${\displaystyle (a,b)}$ bikote ordenaturen bidez adierazi ahal da, ${\displaystyle A\times B}$ biderkadura cartesiarraren ${\displaystyle (a,b)\in A\times B}$ bikote ordenatuen azpimultzo batekoak. Notazio matematikoa erabiliz

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

idatz daitekeena eta mintzatuz

'${\displaystyle {\mathcal {R}}}$ erlazio bitarra haietan ${\displaystyle {\mathcal {P}}}$ propietatea betetzen den ${\displaystyle A}$ multzoaren ${\displaystyle a}$ elementuak ${\displaystyle B}$ multzoaren ${\displaystyle b}$ elementuekin lotzen dituzten ${\displaystyle (a,b)}$ bikote ordenatuen multzoa da'

adierazi.

Notazio matematiko ohikoenetan ${\displaystyle a}$ eta ${\displaystyle b}$ elementuen arteko ${\displaystyle {\mathcal {R}}}$ erlazio bitarra hurrengo eratan adierazten da:

${\displaystyle a{\mathcal {R}}b}$        edo       ${\displaystyle {\mathcal {R}}(a,b)}$        edo        ${\displaystyle (a,b)\in {\mathcal {R}}}$

edo baita ere

${\displaystyle {\mathcal {R}}\;a\;b}$       edo.       ${\displaystyle a\;b\;{\mathcal {R}}}$

poloniar notazioa edo alderantzizko poloniar notazioa erabiltzen badira.