The cross product can be derived like so: given a pair of vectors 𝜉 and 𝜂, solve for a vector 𝜁 which is perpendicular to both 𝜉 and 𝜂, i.e., whose dot product with both 𝜉 and 𝜂 is zero.