Ikkinchi bob binar munosabatlar va

A to`plamda biror R ekvivalentlik munosabati berilgan va S- biror to`plam bo`lsin.

Agar aks ettirish, ya`ni A to`plam elementlarining biror f xossasi uchun munosabatdan tenglik kelib chiqsa, bunday aks ettirish R-invariavgg (R- ekvivalentliqda saqlanuvchi, o`zgarmas) deyiladi.