" દાખલા તરીકે, સમાનતા a = C સંબંધ સમકક્ષતા સંબંધ C કારણે સમમિતીય છે = એક; પણ સમાન a¹s અને ચુકાદો, તે સંચાર s¹a મળે છે.