Si S es finito de cardinal n, el álgebra de Grassmann tiene como base un producto cuña por cada subconjunto de S, y cada producto compuesto de cuñas de elementos de S con repeticiones se iguala a 0.