Template:Balance-short

From Groupprops
Jump to: navigation, search

| {{{1}}} \to {{{1}}} || every {{{1}}} of G restricts to a {{{1}}} of H || the balanced subgroup property for {{{1}}}s || Hence, it is a t.i. subgroup property, both transitive and identity-true