Baliokidetasun-erlazio: berrikuspenen arteko aldeak

<math>A</math> multzoko <math>xa</math> eta <math>yb</math>-ren arteko baliokidetasun-erlazioa <math>a\sim b</math> edo <math>a\equiv b</math> moduetan idazten da erlazioa definiturik badago eta <math>a\sim_R b</math>, <math>a\equiv_R b</math> edo <math>a \mathcal{R} b</math>, hala ez bada.

[[Aritmetika modular|Aritmetika modularrean]] <math> xa \equiv yb (mod \mathcal{R} )</math> (<math>xa</math> baliokide <math>yb</math> modulu <math>\mathcal{R}</math>) bezala adierazten da.