ધારો કે ${R_1}$ એ ${R_1} = \{ (a, b) | a \ge b, a, b \in R \}$ દ્વારા વ્યાખ્યાયિત સંબંધ છે. તો ${R_1}$ એ

ગણ $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$ બંને હોઈ શકે નહીં.

સાબિત કરો કે ગણ $\{1, 2, 3\}$ પર વ્યાખ્યાયિત સંબંધ $R = \{(1, 1), (2, 2), (3, 3), (1, 2), (2, 3)\}$ એ સ્વવાચક છે,પરંતુ સંમિત કે પરંપરિત નથી.

પ્રાકૃતિક સંખ્યાઓના ગણ પર "થી નાનું" (less than) સંબંધ એ છે

નીચેનામાંથી કયો સંબંધ $R$ એ સામ્ય સંબંધ (equivalence relation) છે?

એક પૂર્ણાંક $m$ ને બીજા પૂર્ણાંક $n$ સાથે સંબંધિત કહેવાય છે જો $m$ એ $n$ નો ગુણક હોય. તો આ સંબંધ છે