\rho_1\subseteq A\times B