Cho <span class="katex-r" data-latex="displaystyle A, B, C"></span> là các tập hợp bất kỳ. Chứng m∈h <span class="katex-r" data-latex="displaystyle A times (B setm∈us C) = (A times B) setm∈us (A times C)"></span>