Morphism of partial algebras