Let P and Q be finite posets. The product poset is P Q = {(x, y) : x P, y Q} with partial order (x, y) (x' , y') if and only if x x' and y y'. Prove that the Mobius function of product posets satisfies P Q[(x, y),(x' , y')] = P [x, x' ] Q[y, y']