Orthonormal set

Let $(𝑉, 𝕂, ⟨ - | - ⟩)$ be an inner product space. A set $𝐴 \subseteq 𝑉$ is said to be orthonormal iff its vectors are mutually orthogonal and have norm 1, #m/def/linalg i.e. for any $𝑎, 𝑏 \in 𝐴$

⟨ 𝑎 | 𝑏 ⟩ = 𝛿 𝑎 𝑏 = {1 𝑎 = 𝑏 0 𝑎 \neq 𝑏

#state/tidy| #lang/en | #SemBr