समुच्चय $A$ पर रिक्त संबंध (void relation) है

समुच्चय $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$ दोनों नहीं हो सकते।

यदि $R$ समुच्चय $A$ से समुच्चय $B$ में एक संबंध है और $S$ समुच्चय $B$ से समुच्चय $C$ में एक संबंध है,तो संबंध $S \circ R$ है:

मान लीजिए कि $R$ समुच्चय $N \times N$ पर एक संबंध है और यह $(a, b)R(c, d) \iff a + d = b + c$ द्वारा परिभाषित है। तो $R$ है

वास्तविक संख्याओं के समुच्चय $R$ पर, हम $x P y$ को परिभाषित करते हैं यदि और केवल यदि $x y \geq 0$ हो। तब, संबंध $P$ है

मान लीजिए $A = \{1, 2, 3, 4\}$ और $R = \{(1, 2), (2, 3), (1, 4)\}$ समुच्चय $A$ पर एक संबंध है। मान लीजिए $S$ समुच्चय $A$ पर सबसे छोटा तुल्यता संबंध है ताकि $R \subset S$ हो। यदि $S$ में अवयवों की संख्या $n$ है,तो $n$ का मान ज्ञात कीजिए: