El espacio "n-ésima cuña" W, para un módulo V sobre un anillo conmutativo "R", junto con el operador cuña lineal antisimétrico "w": V → W es tal que para cada operador antisimétrico n-lineal "m": V → X existe un operador lineal único "l": W → X tal que "m = l o w".