Homomorphism theorem for equationally partial algebras Horst Reichel — 1983 Commentationes Mathematicae Universitatis Carolinae