Vector space/K/Inner product/Orthogonal/Definition

Orthogonal

Let denote a vector space over , endowed with an inner product . We say that two vectors are orthogonal (or perpendicular) to each other if

holds.