Соотве́тствие Галуа́ между частично упорядоченными множествами $M$ и $M^{\prime}$, пара отображений $\varphi: M \rightarrow M^{\prime}$ и $\psi: M^{\prime} \rightarrow M$, удовлетворяющих следующим условиям:

если $a \leqslant b$, то $a \varphi \geqslant b \varphi$;

если $a^{\prime} \leqslant b^{\prime}$, то $a^{\prime} \psi \geqslant b^{\prime} \psi$ ; $a \varphi \psi \geqslant a$ и $a^{\prime} \psi \varphi \geqslant a^{\prime}$.

Здесь $a, b \in M$, $a^{\prime}$, $b^{\prime} \in M^{\prime}$.

Понятие соответствия Галуа тесно связано с понятием замыкания в частично упорядоченном множестве, а именно, если между $M$ и $M^{\prime}$ установлено соответствие Галуа, то равенства $\bar{a}=a \varphi \psi$, $a \in M$, и $\bar{a}^{\prime}=a^{\prime} \psi \varphi$, $a^{\prime} \in M^{\prime}$, определяют отношения замыкания в множествах $M$ и $M^{\prime}$ соответственно. Понятие соответствия Галуа возникло из теории Галуа, где изучается соответствие Галуа между всеми промежуточными подполями расширения $P \subseteq K$ поля $P$ и системой подгрупп группы Галуа этого расширения.