Adjective
paratopological (not comparable) (mathematics, of a topological semigroup) That is algebraically a group.