Tour:Equivalence of definitions of subgroup