Nejdříve souměrnost podle roviny!
Souměrnost podle roviny \rho je shodné zobrazení, které bodu A přiřazuje A^{\prime} (jeho „obraz”) tak, že oba leží na jedné přímce kolmé k rovině \rho a mají od této roviny stejnou vzdálenost.
Pokud by bod \mathrm{A} ležel v této rovině souměrnosti, zobrazil by se sám na sebe.