Noun
paratopological group (plural paratopological groups) (mathematics) A topological semigroup that is algebraically a group.