Baliokidetasun-erlazio

Multzo-teorian eta algebran baliokidetasun-erlazio batek ${\displaystyle A}$ multzo bateko elementuen arteko erlazio bat definitzen du, elementuak euren artean baliokidetasun klaseetan antolatuz partizio bat sortuz. ${\displaystyle {\mathcal {R}}}$ baliokidetasun-erlazioa da baldin eta erlazio bitar bihurkor, simetriko eta iragankorra bada.