मान लीजिए R1 और R2 दो संबंध हैं जो निम्न प्रकार परिभाषित हैं:
R1 = {(a, b) ∈ R2 : a2 + b2 ∈ Q}
और R2 = {(a, b) ∈ R2 : a2 + b2 ∉ Q} है। तब,
1
R1 संक्रामक है लेकिन R2 नहीं है
2
R2 संक्रामक है लेकिन R1 नहीं है
3
न तो R1 और न ही R2 संक्रामक है
4
R1 और R2 दोनों संक्रामक हैं