Baliokidetasun-erlazio

Matematikan, $A$ multzoan definitutako $R$ baliokidetasun-erlazioa erlazio bitar bat da, aldi berean bihurkorra, simetrikoa eta iragankorra dena. Hau da:

$\forall a\in X,\ aRa$ (Bihurkorra)

$\forall a,b\in X,\ aRb\Rightarrow \;bRa$ (simetrikoa)

$\forall a,b,c\in X,\ a\,R\,b\land b\,R\,c\;\Rightarrow a\,R\,c$ (iragankorra)

$A$ multzoan ezarritako $\sim$ baliokidetasun-erlazioa, $(A,\sim )\,$ bikote ordenatuaren bidez adierazten da.