A regular locally Čech-complete semitopological group is topological
摘要
Bouziad proved that every semitopological group, which is a Baire p-space, is paratopological. We will prove that every semitopological group, which is a regular Baire locally p-space, is a completely regular paratopological group. We weaken both conditions of complete regularity and p-space. As a result we obtain that every semitopological group, which is a regular locally Čech-complete space, is a topological group.