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.
o r , ou S
=
(D ; 
)
par une 