O produto exterior se estende a uma aplicação bilinear ΛkE∗×ΛℓE∗→Λk+ℓE∗, determinada pela bilinearidade e por (eI∗)∧(eJ∗)=eI∗∧eJ∗ (concatene e reordene; o produto é 0 se I∩J=∅). Ele é associativo e anticomutativo graduado:
β∧α=(−1)kℓα∧β(α∈Λk, β∈Λℓ).