Dos vectores y en un espacio vectorial sobre o se dicen ortogonales si su producto interno es cero:
Esta condición implica que los vectores son perpendiculares entre sí en el sentido del producto interno, que define una noción de ángulo en .
Un conjunto de vectores se dice ortogonal si cada par distinto de vectores en el conjunto es ortogonal, es decir, si:
Un conjunto ortogonal se dice ortonormal si además cada vector es unitario, es decir:
donde la norma es la norma inducida por el producto interno. Esto equivale a: