Osová souměrnost je zobrazení, v němž je útvar zrcadlovým obrazem jiného útvaru podle přímky (osy).
Obrazem bodu A v osové souměrnosti je bod A' takový, že osa souměrnosti je osou úsečky AA'.