Geradenspiegelungen

Definition des Begriffs

Es sei s eine Gerade und P ein Punkt der Ebene $\epsilon$. Eine Geradenspiegelung $\phi$ bildet P auf P` ab, wenn s die Mittelsenkrechte von [PP`]ist. Fallen dabei P und P` zusammen, so ist P€s.