Резидуальное Отображение

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