Exterior product in cohomology ($a\times b$)

For projections $p_X:X\times Y\to X$ and $p_Y:X\times Y\to Y$, the exterior product isThe same definition gives $H^p(X,A;R)\otimes H^q(Y;R)\to H^{p+q}(X\times Y,A\times Y;R)$.