Википедия
Конгруэнция
Конгруэнция — отношение эквивалентности на алгебраической системе , сохраняющееся при основных операциях. Понятие играет важную роль в универсальной алгебре : всякая конгруэнция порождает соответствующую факторсистему — разбиение исходной алгебраической системы на классы эквивалентности по отношению к конгруэнции.