1. The problem statement, all variables and given/known data (Z, Q) and (W, S) are two partially ordered sets. There is a relation I on Z x W (Z cross W) that is defined... for all (a, b), (c, d) in Z x W, set (a, b) I (c, d) if and only if aQc and bSd. How does one prove that (Z x W, I) is a partially ordered set? 2. Relevant equations Partially ordered sets are reflexive, anti-symmetric, and transitive. 3. The attempt at a solution (Z, Q) and W, S) are reflexive, anti-symmetric, and transitive STUMPED, HELP!!!!!