Normal topological group

From Groupprops

"normal group" redirects here. For normality as a subgroup property, see normal subgroup