Advanced Linear Algebra
《Advanced Linear Algebra》 · 第 393 页 · Chapter 14「Tensor Products」，exterior product 的 Definition
Extend the product by distributivity to $F^-[e_1,\ldots,e_n]$. The resulting product makes $F^-[e_1,\ldots,e_n]$ into a (noncommutative) algebra over $F$. This product is called the wedge product or exterior product on $F^-[e_1,\ldots,e_n]$.