A subgroup of a topological group is full if it has a nonempty interior.
Theorem. A full subgroup is both open and closed.