I have this problem to solve and I have no idea how to do it...
Show that the class of Abelian groups has the CEP. Does the class of lattices have the CEP?
An algebra A has the congruence extension property (CEP) if for every and there is a such that . A class K of algebras has the CEP if every algebra in the class has the CEP.
How can I solve this?
Thanks for all your hints.