- ДРОБНАЯ КОНГРУЭНЦИЯ
- конгруэнция h/q факторсистемы А/q, определяемая формулой
где h.- некоторая конгруэнция алгебраической системы А, содержащая данную конгруэнцию q, и [а]q ={
}. Факторсистема ( А/q)/(h/q). изоморфна системе А/h.
Д. М. Смирнов.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.