←הגדרה פורמלית
<math>\forall x,y\in V,\ \langle x,y\rangle =\overline{\langle y,x\rangle}</math>
* '''חיוביות לחלוטין''' (אי-שלילית וממשית):
<math> \forall x \in V \ \langle x,x\rangle\ge 0 </math> ושוויון קיים [[אם ורק אם]] <math>\ x=0</math>
|