Rays/Angle bisector/Definition

Angle bisector

For two linearly independent vectors and in a normed real vector space , the line generated by

is called the angle bisector of the two vectors.