Ordered Set of Auxiliary Relations is Complete Lattice

Theorem
Let $L = \left({S, \vee, \preceq}\right)$ be a bounded below join semilattice.

Let ${\it Aux}\left({L}\right)$ be the set of all auxiliary relations on $S$.

Let $P = \left({ {\it Aux}\left({L}\right), \precsim}\right)$ be an ordered set where $\precsim \mathop = \subseteq\restriction_{{\it Aux}\left({L}\right) \times {\it Aux}\left({L}\right)}$

Then
 * $P$ is complete lattice.

Proof
Let $X \subseteq {\it Aux}\left({L}\right)$

In case when $X \ne \varnothing$

By Intersection of Auxiliary Relations is Auxiliary Relation:
 * $\bigcap X \in {\it Aux}\left({L}\right)$

By Intersection is Largest Subset, $\bigcap X$ is the infimum of $X$.

In case when $X = \varnothing$

By proof of Preceding is Top in Ordered Set of Auxiliary Relations:
 * $\varnothing$ admits an infimum in $P$

Then $X$ (empty or non-empty) admits an infimum in $P$

By duality of Complete iff Admits All Suprema:
 * $P$ is complete lattice.