Un groupe est ordonnable (à gauche) s'il admet une ordre total qui est préservé par la multiplication à gauche. Pour les groupes dénombrables, cela équivaut à admettre une action fidèle sur la droite réelle par homéomorphismes qui préservent l'orientation. Il s'agit donc d'une notion qui est à la fois algébrique et dynamique.