Template:Balance-short


 * left side of function restriction expression:: $$\to$$ right side of function restriction expression:: || every of $$G$$ restricts to   of $$H$$ || the satisfies metaproperty::balanced subgroup property for s || Hence, it is a t.i. subgroup property, both transitive and identity-true