نظرة عامة شاملة حول صنف تكافؤ

في الرياضيات، عندما تمتلك عناصر مجموعة







S





{\displaystyle S}



ما علاقة معينة فيما بينها، حيث تحقق هذه العلاقة مجموعة معينة من الشروط فتصير علاقة تكافؤ، يصير من الطبيعي تجزئة هذه المجموعة إلى مجموعات جزئية تسمى أصناف تكافؤ (بالإنجليزية: Equivalence class)، ومفردها صنف تكافؤ. أصناف التكافؤ هذه تُشكَّل بحيث يكون العنصران







a





{\displaystyle a}



و







b





{\displaystyle b}



ينتميان إلى نفس صنف التكافؤ إذا وفقط إذا كانا متكافئان.