En mathématiques, un semi - groupe topologique est un semi - groupe muni d'une structure d'espace topologique telle que la loi du semi groupe soit une application continue[1].
Chaque groupe topologique est un semi-groupe topologique.
