Compact semitopological group
From Groupprops
Template:Semitopological group property
Definition
A compact semitopological group is a semitopological group whose underlying topological space is a compact space.
Template:Semitopological group property
A compact semitopological group is a semitopological group whose underlying topological space is a compact space.