 Moreover, for every \(A \in \mathcal{L}\), every \(Δ \subseteq \mathcal{L}\), and every uniform substitution function \(σ\) on \(\mathcal{L}\) the following Substitution property holds (\(σ(Δ)\) stands for \(\{ σ(B) \mid B \in Δ\})\):