ધારો કે $N$ એ તમામ પ્રાકૃતિક સંખ્યાઓનો ગણ છે અને $R$ એ $N \times N$ પરનો સંબંધ છે જે $(a, b) R (c, d)$ જો $ad(b + c) = bc(a + d)$ હોય તો વ્યાખ્યાયિત છે,તો $R$ એ

ધારો કે $R$ એ $n$ ઘટકો ધરાવતા શાંત ગણ $A$ પરનો સ્વવાચક સંબંધ છે અને ધારો કે $R$ માં $m$ ક્રમયુક્ત જોડીઓ છે,તો

ગણ $A = \{a, b, c\}$ પર નીચેના બે દ્વિસંગી સંબંધો ધ્યાનમાં લો: $R_1 = \{(c, a), (b, b), (a, c), (c, c), (b, c), (a, a)\}$ અને $R_2 = \{(a, b), (b, a), (c, c), (c, a), (a, a), (b, b), (a, c)\}$. તો

ધારો કે સંબંધ $R_{1}$ એ $R$ પર $a R_{1} b$ તરીકે વ્યાખ્યાયિત છે જો $1+ab > 0$ હોય. તો

ધારો કે $X$ એક અરિક્ત ગણ છે. જો $\rho_1$ અને $\rho_2$ એ $X$ પરના પરંપરિત સંબંધો હોય, તો નીચેનામાંથી શું સાચું છે?

ગણ $A$ પર વ્યાખ્યાયિત સંબંધ $R$ એ પ્રતિસંમિત (antisymmetric) કહેવાય છે જો $(a, b) \in R$ અને $(b, a) \in R$ હોય તો $a = b$ થાય,જ્યાં $a, b \in A$. આ વ્યાખ્યાના આધારે,સંબંધ $R$ પ્રતિસંમિત છે જો $(a, b) \in R$ અને $(b, a) \in R$ હોય તો $a = b$ થાય,જેનો અર્થ એ છે કે જો $a \neq b$ હોય,તો $(a, b) \in R$ અને $(b, a) \in R$ બંને એકસાથે શક્ય નથી. તેથી,શરત એ છે કે $a \neq b$ માટે,આપણી પાસે $(a, b) \in R$ અને $(b, a) \in R$ બંને હોઈ શકે નહીં.