If it is necessary or desirable to preserve input or output port structure in homomorphic images, one must insist on a special case of homomorphism.