Question: is dot product a definition?
Answer: In mathematics, the dot product or scalar product is an algebraic operation that takes two equal-length sequences of numbers (usually coordinate vectors) and returns a single number. ... These definitions are equivalent when using Cartesian coordinates.