Hausdorff semitopological group

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

Stronger properties

 * Weaker than::T0 topological group

Weaker properties

 * Stronger than::T0 semitopological group