معادلہ تعلق

ریاضیات میں معادلہ تعلق ایک تثنیہ تعلق ہے جو کسی طاقم کا اس طرح بٹوارہ کرتا ہے کہ طاقم کا ہر عنصر صرف اور صرف بٹوارہ کے ایک خلیہ میں آئے۔ طاقم کے دو عناصر برابر تصور ہوں گے (معادلہ تعلق کی رُو سے ) اگر وہ ایک ہی خلیہ کے عنصر ہوں۔ کسی بھی دو خلیہ کا تقاطع خالی ہو گا؛ تمام خلیہ کا اتحاد اصل طاقم کے برابر ہو گا۔

An equivalence relation partitions a set into several disjoint subsets, called equivalence classes. All the elements in a given equivalence class are equivalent among themselves, and no element is equivalent with any element from a different class.

Logical matrices of the 52 equivalence relations on a 5-element set (Colored fields, including those in light gray, stand for ones; white fields for zeros.)