मान लीजिए $R$,$Q$ से $Q$ में एक संबंध है जो $R = \{(a, b) : a, b \in Q \text{ और } a - b \in Z\}$ द्वारा परिभाषित है। दर्शाइए कि $(a, b) \in R$ का तात्पर्य है कि $(b, a) \in R$।

मान लीजिए $Z$ सभी पूर्णांकों का समुच्चय है,$A = \{(x, y) \in Z \times Z : (x-2)^{2} + y^{2} \leq 4\}$,$B = \{(x, y) \in Z \times Z : x^{2} + y^{2} \leq 4\}$,और $C = \{(x, y) \in Z \times Z : (x-2)^{2} + (y-2)^{2} \leq 4\}$. यदि $A \cap B$ से $A \cap C$ तक संबंधों की कुल संख्या $2^{p}$ है,तो $p$ का मान ज्ञात कीजिए:

मान लीजिए $n$ एक निश्चित धनात्मक पूर्णांक है। पूर्णांकों के समुच्चय $Z$ पर संबंध $R$ को $aRb \Leftrightarrow n | (a - b)$ द्वारा परिभाषित किया गया है। तो $R$ है:

$n$ अवयवों वाले एक समुच्चय $A$ पर स्वतुल्य संबंधों की संख्या किसके बराबर है?

संबंध "सर्वांगसम मापांक $m$" (congruence modulo $m$) है:

मान लीजिए कि $A$ एक लड़कों के स्कूल के सभी छात्रों का समुच्चय है। सिद्ध कीजिए कि $A$ में संबंध $R = \{(a, b) : a, b \text{ की बहन है}\}$ एक रिक्त संबंध है और $R^{\prime} = \{(a, b) : a \text{ और } b \text{ की ऊंचाइयों का अंतर } 3 \text{ मीटर से कम है}\}$ एक सार्वत्रिक संबंध है।