Let $n\in\mathbb{N}$ and let $k,\ell\in\mathbb{N}\cup\{0\}$. Let $U\subseteq \mathbb{R}^n$ be \reftext{def:open-subset-euclidean-space-2026a}{open}. Let $\alpha$ be a \reftext{def:differential-k-form-euclidean-open-set-2026a}{differential $k$-form} on $U$, and let $\beta$ be a differential $\ell$-form on $U$. The wedge product $\alpha\wedge\beta$ is the differential $(k+\ell)$-form on $U$ defined as follows: for each $x\in U$ and each collection of vectors $v_1,\dots,v_{k+\ell}\in\mathbb{R}^n$,

where $S_{k+\ell}$ is the set from \reftext{def:permutation-initial-segment-2026a}{the definition of permutations}, $\operatorname{sgn}(\sigma)$ is the sign from \reftext{def:sign-permutation-2026a}{the sign definition}, and one uses the convention $0!=1$.

If $r\in\mathbb{N}$ and $\omega_1,\dots,\omega_r$ are differential forms on $U$ such that each successive wedge product is defined, then

means the left-associated iterated wedge product