Template:Invariance-short


 * left side of function restriction expression:: $$\to$$ function || every of $$G$$ sends every element of $$H$$ to within $$H$$ || the satisfies metaproperty::invariance property for s