वास्तविक संख्याओं के समुच्चय R पर एक सम्बन्ध `R_1` इस प्रकार परिभाषित है. कि
`(a, b) in R_1 hArr 1 + ab gt 0` जबकि `a,b in R` सिद्ध कीजिए कि
` (a, b)inR_(1) implies (b, a) inR_1` जबकि `(b,c) in R_(1)`