Injectivity and congruence extension property in congruence distributive equational classes
subalgebras of ultraproducts subdirectly irreducible elements
scientific article; zbMATH DE number 3679906