Left-topological semigroup (source code)

= Left-topological semigroup

A left-topological semigroup requires only that every right translation $x\mapsto xa$ be <continuous function>[continuous].