Compact semitopological group