On the congruence extension property (Q5917992)

Let \(K\) be a quasivariety and \(A\in K\). A congruence \(\theta \in \text{Con}A\) is a \(K\)-congruence if \(A/\theta \in K\). A quasivariety \(K\) has the (principal) relative congruence extension property ((P)RCEP, for short) if for every \(A\in K\) any (principal) \(K\)-congruence of any subalgebra of \(A\) can be extended to \(A\). It is shown that \(K\) has RCEP iff it has PRCEP. This generalizes the analogous result for varieties, due to \textit{A. Day} [Algebra Univers. 1, 234-235 (1971; Zbl 0228.08001)], however this proof avoids the use of Zorn's Lemma.