Let $\Sigma$ be a fixed signature, and $\A$ a structure for $\Sigma$ . A congruence $\sim$ on $\A$ is an equivalence relation such that for every natural number $n$ and $n$ -ary function symbol $F$ of $\Sigma$ , if then
