On appelle antirotation une transformation pouvant se mettre
sous la forme d'un produit S
o r , ou Sest
une réflexion de plan et r une rotation
dont l'axe D est perpendiculaire au plan .
On admet que tout produit ( composée ) d'une rotation d'axe orienté
= (D ; ) par une réflexion
de plan telle que D coupe
est une antirotation.