What is a vector in Euclidean space? Some might say it's an entity characterized by possessing a magnitude and a direction. But scholars of the geometric algebra (such as Eric Chisolm and Dorst et al.) tell us that it's better to decompose the idea of direction into the two ideas of subspace attitude (our vector's quality of living in a particular line) and orientation (its quality of pointing in a particular direction in that line, and not the other). On this view, a vector is an attitudinal oriented length element. But having done this, it becomes inevitable that we should want to talk about attitudinal oriented area (volume, 4-hypervolume, &c.) elements. To this end we introduce the outer or wedge product ∧ on vectors. It is bilinear, it is anticommutative (swapping the order of arguments swaps the sign, so a∧b = –b∧a), and that's all you need to know.

Suppose we have two vectors a and b in Euclidean space and also a basis for the subspace that the vectors live in, e₁ and e₂, so that we can write a := a₁e₁ + a₂e₂ and b := b₁e₁ + b₂e₂. Then the claim is that the outer product a∧b can be said to represent a generalized vector (call it a 2-blade—and in general, when we wedge k vectors together, it's a k-blade) with a subspace attitude of the plane that our vectors live in and a magnitude equal to the area of the parallelogram spanned by them. Following Dorst et al., let's see what happens when we expand a∧b in terms of our basis—

a∧b = (a₁e₁ + a₂e₂)∧(b₁e₁ + b₂e₂)

= a₁e₁∧(b₁e₁ + b₂e₂) + a₂e₂∧(b₁e₁ + b₂e₂)

= a₁e₁∧b₁e₁ + a₁e₁∧b₂e₂ + a₂e₂∧b₁e₁ + a₂e₂∧b₂e₂

But the anticommutativity property implies that the outer product of a vector with itself is zero, because e∧e = –e∧e. So we have

(a₁b₂ – a₂b₁)e₁∧e₂

It's a determinant! And since determinants tell us about the oriented volumes of parallelepipeds, we can see why these blades defined by this outer product are a sensible generalization of the vector idea. And none can doubt that they shall play but ever such an essential role in our vaunted geometric algebra!