Template:Transitive topological subgroup property

Transitivity
This property of a subgroup in a topological group is transitive