Аi Aj => Ai Aj = Ø i,j I;
Барлық осындай ішкі жиындардың бірігуі А жиынын берсе :
UAi = A, i I.
- А жиынындағы бинарлық қатынас болсын.
{х | а х} = ā жиыны а элеметі тудыратын эквивалентті класс деп аталады.
Мысалдар. А – үшбұрыштар жиыны, .
анықтама. - А жиынындағы эквивалентті қатынас болсын, онда - ға қатысты барлық эквивалентті кластар жиыны А жиынының қатынасы бойынша фактор жиыны деп аталады және А/ деп белгіленеді.
