Галуа соответствие

между частично упорядоченными множествам и Ми М'- пара отображений [img: http://localhost:8080/file/010402-226.jpg] и [img: http://localhost:8080/file/010402-227.jpg] удовлетворяющих следующим условиям: [img: http://localhost:8080/file/010402-228.jpg] Понятие Г. с. тесно связано с понятием замыкания в частично упорядоченном множестве, а именно, если между [img: http://localhost:8080/file/010402-229.jpg] установлено Г. с., то равенства [img: http://localhost:8080/file/010402-230.jpg] [img: http://localhost:8080/file/010402-231.jpg] определяют замыкания отношения в множествах [img: http://localhost:8080/file/010402-232.jpg] соответственно. Понятие Г. с. возникло из Галуа теории, где изучается Г. с. между всеми промежуточными подполями расширения [img: http://localhost:8080/file/010402-233.jpg] и системой подгрупп группы Галуа этого расширения.