到他们的楔积，也就是它们相应的"formula_18"-向量，这也是反对称的。事实上，这个映射是定义在"formula_243"上的“最一般”的反对称算子：给定任何其它反对称算子formula_245，存在一个唯一的线性映射formula_257。这个泛性质表述了空间formula_23并且可以作为它的定义。所有从"formula_243"到基域"formula_39"的反对称映射组成一个向量空间，因为两个这样的映射的和、或者这样一个映射和一个标量的乘积也是反对称的。若"formula_1"是有限维的，