 Semitopological group

A **semitopological group** is a type of mathematical structure that combines aspects of group theory and topology. Specifically, it is a group \( G \) that is equipped with a topology such that the group operations, namely multiplication and taking inverses, satisfy specific continuity conditions, but not all of the usual requirements of a topological group.