Definition

The dot product of vectors is defined as