Definition: Angle

The angle between two nonzero vectors and of an inner product space is