paratopological group

Noun

 * 1)  A  that is  a.