मान लीजिये कि T किसी समतल में स्थित समस्त त्रिभुजों का एक समुच्चय है। समुच्चय T में R= {`(T_(1), T_(2)) : T_(1), T_(2)` सर्वांगसम है } एक संबंध है । सिद्ध कीजिये कि R एक तुल्यता संबंध है ।