# Ordered Set of Auxiliary Relations is Complete Lattice

## Theorem

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

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

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

Then

$P$ is a complete lattice.

## Proof

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

In the case when $X \ne \O$:

$\bigcap X \in \operatorname {Aux} \left({L}\right)$

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

In case when $X = \O$:

$\O$ admits an infimum in $P$

Then:

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

By duality of Lattice is Complete iff it Admits All Suprema:

$P$ is a complete lattice.

$\blacksquare$