Relative cup product ($H^p(Y,U)\otimes H^q(Y,V)\to H^{p+q}(Y,U\cup V)$)

For open subsets $U,V$ of a topological space $Y$, the relative cup product givesCompatibility with the maps to absolute cohomology identifies its image with the ordinary cup product. More generally the construction requires an excisive pair of subsets. The open-set case can be proved using subdivision to compute on chains subordinate to the open cover.

Let $U_1,\dots ,U_k$ be an open cover of $Y$, and suppose ${\alpha }_i\in H^{d_i}(Y;R)$ restricts to zero on $U_i$. The pair long exact sequence lifts each ${\alpha }_i$ to $H^{d_i}(Y,U_i;R)$. Their relative cup product lies in $H^{\sum d_i}(Y,{\bigcup }_i{U}_i;R)=H^{\sum d_i}(Y,Y;R)=0$, so ${\alpha }_1⌣\cdots ⌣{\alpha }_k=0$. This proves characteristic-class products vanish from local trivializations without cancelling possible zero divisors in the coefficient ring.