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,\ a R a$ (Bihurkorra)

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

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

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