Hausdorff semitopological group

From Groupprops

Template:Semitopological group property

Definition

A semitopological group is termed a Hausdorff semitopological group if its underlying topospaces:topological space is a Hausdorff space.

Relation with other properties

Stronger properties

Weaker properties