मान लीजिए कि L किसी समतल में स्थित समस्त रेखाओं का एक समुच्चय है तथा R = {`(L_(1),L_(2)):L_(1),L_(2)` पर लम्ब है} समुच्चय L में परिभाषित एक सम्बन्ध है। सिद्ध कीजिए कि R सममित है किन्तु यह न तो स्वतुल्य है और न संक्रामक है।