Closed normal subgroup
This article defines a property that can be evaluated for a subgroup of a semitopological group
Definition
A closed normal subgroup of a topological group is a subgroup that is both a closed subgroup (i.e., it is closed as a subset of the whole group with the underlying topology) and a normal subgroup.