ધારો કે 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 બંને સંક્રામક છે.