Template:Endo-invariance-short


 * left side of function restriction expression:: $$\to$$ right side of function restriction expression::endomorphism || every of $$G$$ restricts to an endomorphism of $$H$$ || the satisfies metaproperty::endo-invariance property for s; i.e., it is the invariance property for, which is a property stronger than the property of being an endomorphism