Banakh, T.; Ravsky, S.
(Algebra and Discrete Mathematics, 2003)
A paratopological group G is saturated if the inverse U
⁻¹ of each non-empty set U ⊂ G has non-empty interior. It
is shown that a [first-countable] paratopological group H is a closed
subgroup of a saturated (totally ...