\((x,y)\) berada pada irisan ruas kiri tepat ketika ia berada pada kedua hasil kali, yaitu \(x\in S_1\cap S_2\) dan \(y\in T_1\cap T_2\text{.}\) Syarat terakhir tepat menyatakan keanggotaan pada hasil kali di ruas kanan. Rubrik: pembuktian dua arah melalui keanggotaan sudah lengkap.