Se denomina producto vectorial del vector a por el vector b al vector denotado por formula_11 y definido por las tres exigencias siguientes: