दिखाएँ कि प्राकृत संख्याओं के सम्मुच्य N पर सम्बन्ध R, जो
`xR y ltimplies 2x^(2)-3xy+y^(2)=0` अर्थात `R={(x,y):x,y ∈ N` तथा `2x^(2)-3xy+y^(2)=0}` से परिभाषित है, सम्मित नहीं है लेकिन यह सवतुल्य है|