Correspondences and Cartesian Products