open_subgroup

The type of open subgroups of a topological group.