Compact semitopological group

Definition
A compact semitopological group is a semitopological group whose underlying topological space is a compact space.

Facts

 * Compact implies every open subgroup has finite index