* Dins un ensemble ''E'', l''''egalitat''' es la relacion binària definida per l'ensemble <math>\Delta = \{ (x,\, x) \mid x \in E\;\}</math> (la ''diagonala'' de <math>\ E^2</math> ).
* Dins l'ensemble <math>\mathbb Z</math> , "'''aver la meteissa paritat que"''' es una relacion binària ; per exemple −2 a la meteissa paritat que 6 (son pars totei dos), e 7 a la meteissa paritat que 23 (son impars totei dos) ; en convenent d'escriure aicí : <math>a \equiv b</math> quand l'entier ''a'' a la meteissa paritat que l'entier ''b'', se pòt afiermar que <math>-2 \equiv 6</math> e que <math>7 \equiv 23</math> .
* Dins l'ensemble <math>\mathcal{E} = \mathcal{P}(\Omega)</math> dei sosensembles (o partidas) d'un ensemble <math>\ \Omega</math> , "èsser inclús dins"l''''inclusion''' es una relacion binària : s'unaestent partidaun pareu (''A'', ''B'') de partidas (o sosensembles) de <math>\ \Omega</math> es, inclusase dins''A'' unaes autrainclusa partidadins ''B'', s'escriu : <math>A \subset B</math> .
* Dins l'ensemble <math>\mathbb{R}</math> dei reaus, se definís : ** doas relacions binàrias dichas ''inegalitats largas'' (<math>\leq, \geq</math> ) e ** doas relacions binàrias dichas ''inegalitats estrictas'' (<, >).
* Dins l'ensemble <math>\mathbb{ZN}</math> deis [[nombres entiers naturaus|entiers naturaus]], la '''relacion de divisibilitat''' es una relacion binària. Estent un pareu (''a'', ''b'') d'entiers naturaus, se ditz que ''a'' dividís ''b'', o que ''a'' es un divisor de ''b'', (o encara que ''b'' es un multiple de ''a'') s'existís un entier naturau ''q'' tau que ''b'' = ''a'' ''q'' (lo produch de ''a'' e ''q'') ; en aqueu cas, s'escriu : <math>a \mid b</math> ; ansin : <math>3 \mid 15</math> .
