Contoh himpunan A={y∈ℝ:1≤y≤4}, 
B={x∈ℝ:2≤x≤5}, dan C={x∈ℝ:4≤x≤7}, membuktikan 
A×(B∩C) = (A×B)∩(A×C), 
A×(B∪C) = (A×B)∪(A×C), dan A ×( B Templat:Tsp \ C ) = ( A×B ) Templat:Tsp \ ( A×C )