Para ser exactos, sea formula_1 un espacio vectorial sobre el cuerpo formula_2, y supongamos que existe una operación binaria definida entre vectores: