open_subgroup
The type of open subgroups of a topological group.