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

изотонное отображение j частично упорядоченного множества Рв частично упорядоченное множество Р', для к-рого существует изотонное отображение j' из Р' в Ртакое, что [img: http://localhost:8080/file/041874-166.jpg] для всех [img: http://localhost:8080/file/041874-167.jpg] для всех [img: http://localhost:8080/file/041874-168.jpg]. Если Ри Р'- полные решетки и j сюръективно, то это равносильно равенству [img: http://localhost:8080/file/041874-169.jpg] для всякого подмножества Аиз Р.