между частично упорядоченными множествам и Ми М'- пара отображений и удовлетворяющих следующим условиям:
Понятие Г. с. тесно связано с понятием замыкания в частично упорядоченном множестве, а именно, если между установлено Г. с., то равенства определяют замыкания отношения в множествах соответственно. Понятие Г. с. возникло из Галуа теории, где изучается Г. с. между всеми промежуточными подполями расширения и системой подгрупп группы Галуа этого расширения.
Лит.:[1] Кон П., Универсальная алгебра, пер. с англ., М., 1968; [2] Курош А. Г., Лекции по общей алгебре, М.,
1962. О. А. Иванова.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.