paratopological group noun1 •A topological semigroup that is algebraically a group. formsparatopological groups