Eine Halbgerade b ist die Winkelhalbierende eines Winkels mit den Schenkeln a und c, wenn der Winkel mit den Schenkeln a und b und der Winkel mit den Schenkeln b und c kongruent (siehe kongruente Punktmengen) zueinander sind.

Jeder Winkel, der kein gestreckter Winkel ist, besitzt genau eine Winkelhalbierende.