El producto exterior se extiende a una aplicación bilineal ΛkE∗×ΛℓE∗→Λk+ℓE∗, determinada por la bilinealidad y por (eI∗)∧(eJ∗)=eI∗∧eJ∗ (concaténese y reordénese; el producto es 0 si I∩J=∅). Es asociativo y anticonmutativo graduado:
β∧α=(−1)kℓα∧β(α∈Λk, β∈Λℓ).