तुल्यता वर्ग

गणित में जब किसी समुच्चय  के अवयवों पर कोई समतुल्यता पारिभाषित हो (जो कि तुल्यता सम्बन्ध के रूप में की जाती है) तो उस समुच्चय   को तुल्यता वर्गों (equivalence classes) में विभक्त किया जा सकता है। ये तुल्यता वर्ग इस प्रकार बनाये जाते हैं कि अवयव   और अवयव  एक ही तुल्यता वर्ग में होंगे यदि और केवल यदि वे तुल्य हों। 

औपचारिक रूप से कहें तो, यदि कोई समुच्चय  और और उस पर एक तुल्य सम्बन्ध  दिया हो तो समुच्चय  के किसी अवयव  का तुल्यता वर्ग निम्नलिखित समुच्चय होगा-

जिसके सभी अवयव  के तुल्य हों। इसे  द्वारा निरुपित किया जाता है। 

तुल्य सम्बन्ध के पारिभाषिक गुणों के आधार पर यह सिद्ध किया जा सकता है कि तुल्यता वर्ग  वस्तुतः समुच्चय  के का विभाजन कर देता है। इस विभाजन के परिणामस्वरूप बने तुल्यता वर्गों के समुच्चय को  का भागफल समुच्चय (quotient set या quotient space) कहते हैं और इसे  द्वारा निरूपित किया जाता है।

सन्दर्भ

समुच्चय सिद्धान्त
बीजगणित
बाईनरी सम्बन्ध