ધારો કે $n$ એ એક નિશ્ચિત ધન પૂર્ણાંક છે. પૂર્ણાંકોના ગણ $Z$ પર સંબંધ $R$ એ $aRb \Leftrightarrow n | (a - b)$ દ્વારા વ્યાખ્યાયિત છે. તો $R$ એ:

ધારો કે $R = \{(3, 3), (5, 5), (9, 9), (12, 12), (5, 12), (3, 9), (3, 12), (3, 5)\}$ એ ગણ $A = \{3, 5, 9, 12\}$ પરનો સંબંધ છે. તો,$R$ એ

ધારો કે $A = \{1, 2, 3, 4, 6\}$. ધારો કે $R$ એ $A$ પરનો સંબંધ છે જે $R = \{(a, b) : a, b \in A, b \text{ એ } a \text{ વડે નિઃશેષ ભાગી શકાય છે}\}$ દ્વારા વ્યાખ્યાયિત છે. $R$ નો પ્રદેશ શોધો.

ધારો કે $A = \{1, 2, 3, 4, 5\}$. ધારો કે $R$ એ $A$ પરનો સંબંધ છે જે $x R y$ જો અને માત્ર જો $4x \leq 5y$ દ્વારા વ્યાખ્યાયિત છે. ધારો કે $m$ એ $R$ માં રહેલા ઘટકોની સંખ્યા છે અને $n$ એ $R$ ને સંમિત સંબંધ બનાવવા માટે $A \times A$ માંથી ઉમેરવા પડતા ન્યૂનતમ ઘટકોની સંખ્યા છે. તો $m+n$ ની કિંમત શોધો:

ધારો કે $N$ એ તમામ પ્રાકૃતિક સંખ્યાઓનો ગણ છે. $N$ પર બે દ્વિસંગી સંબંધો $R_1 = \{(x,y) \in N \times N : 2x + y = 10\}$ અને $R_2 = \{(x,y) \in N \times N : x + 2y = 10\}$ તરીકે વ્યાખ્યાયિત કરો. તો

ધારો કે $N$ એ $100$ થી મોટી પ્રાકૃતિક સંખ્યાઓનો ગણ છે. સંબંધ $R$ ને $N$ પર આ રીતે વ્યાખ્યાયિત કરો: $R = \{(x, y) \in N \times N : x \text{ અને } y \text{ સંખ્યાઓ ઓછામાં ઓછા બે સામાન્ય ભાજકો ધરાવે છે}\}.$ તો $R$ એ-