Soit $(\omega_{n})$ et $(\eta_{n})$ des suites de formes lisses à support compact sur $X$ qui convergent respectivement vers des formes $\omega$ et $\eta$. Alors $\omega_{n}\wedge\eta_{n}$ converge vers $\omega\wedge\eta$.

Soit $U$ un ouvert de $X$ et soit $\eta$ une forme lisse à support compact dans $U$. Soit $(\omega_{n})$ une suite de formes lisses à support compact sur $X$ qui converge vers une forme $\omega$. Alors, $\omega_{n}\wedge\eta$ converge vers $\omega\wedge\eta$.

Soit $\eta$ une forme lisse sur $X$. Soit $(\omega_{n})$ une suite de formes lisses à support compact sur $X$ qui converge vers une forme $\omega$. Alors, $\omega_{n}\wedge\eta$ converge vers $\omega\wedge\eta$.