1: \begin{definition}

2: Let $A$ be an abstract algebra. A \emph{profinite lattice equation} for $A$ is given by a pair of elements $x,y\in\widehat{A}$ and is denoted by $x\to y$. The equation, $x\to y$, is said to be satisfied by $L\in\Rec(A)$ if and only if $L\in F_y$ implies $L\in F_x$. That is, $x\to y$ is satisfied by $L$ if and only if $L\in {\mathcal C}_{\{(x,y)\}}$ as defined by the Galois connection in Theorem~\ref{thrm:eqthry0}.

3: \end{definition}

4: