internal product

[ریاضیات] حاصل ضرب داخلی، ضرب داخلی