ધારો કે $R$ એ $Q$ થી $Q$ પરનો સંબંધ છે જે $R = \{(a, b) : a, b \in Q \text{ અને } a - b \in Z\}$ દ્વારા વ્યાખ્યાયિત છે. સાબિત કરો કે $(a, b) \in R$ સૂચવે છે કે $(b, a) \in R$.

ધારો કે $R$ એ વાસ્તવિક રેખા છે. ધારો કે $R$ પરના સંબંધો $S$ અને $T$ ને $S = \{(x, y) : y = x + 1, 0 < x < 2\}$ અને $T = \{(x, y) : (x - y) \text{ એ પૂર્ણાંક છે}\}$ દ્વારા વ્યાખ્યાયિત કરવામાં આવ્યા છે. તો:

ધારો કે $A$ એ એક છોકરાઓની શાળાના તમામ વિદ્યાર્થીઓનો ગણ છે. સાબિત કરો કે $A$ પરનો સંબંધ $R = \{(a, b) : a \text{ એ } b \text{ ની બહેન છે}\}$ એ ખાલી સંબંધ છે અને $R^{\prime} = \{(a, b) : a \text{ અને } b \text{ ની ઊંચાઈનો તફાવત } 3 \text{ મીટર કરતા ઓછો છે}\}$ એ સાર્વત્રિક સંબંધ છે.

ગણ $A = \{1, 2, 3\}$ માટે,$A$ પરનો સંબંધ $S = \{(1, 2), (2, 1), (2, 3)\}$ ધ્યાનમાં લો. તો,સંબંધ $S$ . . . . . . છે.

ગણ $A = \{1, 2, 3\}$ પરના સંબંધોની સંખ્યા, જેમાં $(1, 2)$ અને $(2, 3)$ નો સમાવેશ થાય છે, જે સ્વવાચક અને પરંપરિત છે પરંતુ સંમિત નથી, તે કેટલી છે?

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