Математическая энциклопедия - резидуальное отображение

изотонное отображение j частично упорядоченного множества Рв частично упорядоченное множество Р', для к-рого существует изотонное отображение j' из Р' в Ртакое, что для всех для всех . Если Ри Р'полные решетки и j сюръективно, то это равносильно равенству

для всякого подмножества Аиз Р. .