 Left-topological semigroup

A left-topological semigroup is a semigroup with a topology for which every left translation $L_a:x\mapsto ax$ is a continuous map. Here $a$ is fixed and the right input varies. Requiring continuous right translations $R_a:x\mapsto xa$ instead gives a right-topological semigroup.^[ref]