Дробная Конгруэнция

Конгруэнция h/q факторсистемы А/q, определяемая формулой где h.- некоторая конгруэнция алгебраической системы А, содержащая данную конгруэнцию q, и [а]q . Факторсистема ( А/q)/(h/q). изоморфна системе А/h. Д. М. Смирнов.