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

(N/A) यह दर्शाने के लिए कि सभी $a \in Q$ के लिए $(a, a) \in R$ है,हम संबंध $R$ की परिभाषा की जाँच करते हैं।
परिभाषा के अनुसार,$(a, b) \in R$ यदि $a - b \in Z$ है।
युग्म $(a, a)$ के लिए,हमारे पास $a - a = 0$ है।
चूँकि $0$ एक पूर्णांक है $(0 \in Z)$,इसलिए सभी $a \in Q$ के लिए $(a, a) \in R$ सिद्ध होता है।