Definition:Scalar Product