ધારો કે $A = \{1, 2, 3, 4\}$ અને $R$ એ $A$ પરનો સંબંધ છે,જે $R = \{(1, 1), (2, 2), (3, 3), (4, 4), (1, 2), (2, 1), (3, 1), (1, 3)\}$ દ્વારા વ્યાખ્યાયિત છે. તો $R$ એ:

ધારો કે $S = \{1, 2, 3, \ldots, 10\}$. ધારો કે $M$ એ $S$ ના તમામ ઉપગણોનો ગણ છે. તો સંબંધ $R = \{(A, B) : A \cap B \neq \phi; A, B \in M\}$ એ :

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

ધારો કે $R$ એ ગણ $A = \{1, 2, 3, 4, 5, 6, 7\}$ પર વ્યાખ્યાયિત સંબંધ છે,જ્યાં $R = \{(a, b) : a\}$ અને $b$ બંને એકી અથવા બંને બેકી છે. સાબિત કરો કે $R$ એ સામ્ય સંબંધ છે. વધુમાં,સાબિત કરો કે ઉપગણ $\{1, 3, 5, 7\}$ ના તમામ ઘટકો એકબીજા સાથે સંબંધિત છે અને ઉપગણ $\{2, 4, 6\}$ ના તમામ ઘટકો એકબીજા સાથે સંબંધિત છે,પરંતુ ઉપગણ $\{1, 3, 5, 7\}$ નો કોઈ પણ ઘટક ઉપગણ $\{2, 4, 6\}$ ના કોઈ પણ ઘટક સાથે સંબંધિત નથી.

સાબિત કરો કે વાસ્તવિક સંખ્યાઓના ગણ $\mathbb{R}$ પર વ્યાખ્યાયિત સંબંધ $R = \{(a, b) : a \leq b^2\}$ એ સ્વવાચક,સંમિત કે પરંપરિત નથી.

ગણ $A = \{a, b, c\}$ પર વ્યાખ્યાયિત સંબંધ $R = \{(a, a), (b, b), (c, c), (a, c)\}$ એ . . . . . . છે.