s ⋅ x = t ⋅ x for all x ∈ X , {\displaystyle s\cdot x=t\cdot x{\text{ for all }}x\in X,}
для любога x {\displaystyle ~x} маем ⟨ x , x ⟩ ≥ 0 {\displaystyle \langle x,x\rangle \geq 0} , прычым ⟨ x , x ⟩ = 0 {\displaystyle \langle x,x\rangle =0} толькі пры x = 0 {\displaystyle ~x=0} (дадатная вызначанасць скалярнага здабытка).