Osová souměrnost je [b]shodné zobrazení[/b] ([i]nepřímá shodnost[/i]) v rovině, které je dáno [b]osou souměrnosti [/b][i]o[/i], které každému bodu A přiřadí bod A'.[br][br][list][*]Body A, A' jsou [b]souměrně sdružené[/b] body podle osy o.[/*][*]Obraz bodu A má stejnou vzdálenost od osy souměrnosti jako bod A'.[/*][*]Úsečka AA' je k ose [i]o[/i] kolmá.[/*][*]Body, které leží na ose souměrnosti se nazývají samodružné body a zobrazují se samy na sebe (vzor a obraz jsou totožné).[/*][/list]

Osově souměrný útvar je možné rozdělit osou na dvě shodné části. Útvar lze přeložit podle osy souměrnosti a obě části se budou dokonale překrývat.

[list][*]je kolmá k úsečce a prochází jejím středem[/*][*]dělí úsečku na dvě poloviny[/*][*]je osou souměrnosti úsečky[/*][/list]

[list][*]dělí úhel na dva shodné úhly (na polovinu)[/*][*]je osou souměrnosti úhlu[/*][/list]