 Relative cup product

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.