Le cercle:
.
est paramètré par

La rotation:
Considérons , alors la rotation par α sur 𝕋 est définie par

L’échange d’intervalles: