Formalmente, en un espacio vectorial con producto interior "V", dos vectores formula_1 e formula_2 son ortogonales si el producto escalar de formula_3 es cero.