Advanced Linear Algebra
《Advanced Linear Algebra》 · 第 398 页 · Chapter 14「Tensor Products」，定义段
The direct sum $AT(V)=\bigoplus_{p=0}^{n}AT^p(V)\approx F^-[e_1,\ldots,e_n]$ is called the antisymmetric tensor algebra or the exterior algebra of $V$.