“…It turns out that in the latter situation, the T 0 constraint can be dropped. Ravsky [23] proved that a compact paratopological group is a topological group. Ellis [11], Grant [16], Brand [8], Bouziad [7], Bokalo and Guran [6], Romaguera and Sanchis [25], Kenderov et al [19], and others have all generalized the latter fact.…”