Shift Mapping is Lower Adjoint iff Meet is Distributive with Supremum

Theorem
Let $\left({S, \preceq}\right)$ be a complete lattice.

Then
 * $\forall x \in S, f: S \to S:\left({\forall y \in S: f\left({y}\right) = x \wedge y}\right) \implies f$ is lower adjoint of Galois connection


 * $\forall x \in S, X \subseteq S: x \wedge \sup X = \sup \left\{ {x \wedge y: y \in X}\right\}$

Sufficient Condition
Assume that
 * $\forall x \in S, f: S \to S:\left({\forall y \in S: f\left({y}\right) = x \wedge y}\right) \implies f$ is lower adjoint of Galois connection

Let $x \in S, X \subseteq S$.

Define a mapping $f: S \to S$:
 * $\forall y \in S: f\left({y}\right) := x \wedge y$

By assumption:
 * $f$ is lower adjoint of a Galois connection.

By Lower Adjoint Preserves All Suprema:
 * $f$ preserves all suprema.

By definition of mapping preserves all suprema
 * $f$ preserves the supremum of $X$.

By definition of complete lattice:
 * $X$ admits a supremum.

Thus

Necessary Condition
Assume that
 * $\forall x \in S, X \subseteq S: x \wedge \sup X = \sup \left\{ {x \wedge y: y \in X}\right\}$

Let $x \in S$, $f: S \to S$ such that
 * $\forall y \in S: f\left({y}\right) = x \wedge y$

We will prove that
 * $f$ preserves all suprema.

Let $X \subseteq S$ such that
 * $X$ admits a supremum.

Thus by definition of complete lattice:
 * $f^\to\left({X}\right)$ admits a supremum.

Thus

Thus by definition
 * $f$ preserves the supremum of $X$.

Thus by All Suprema Preserving Mapping is Lower Adjoint of Galois Connection:
 * $f$ is lower adjoint of a Galois connection.