Es siempre cierto que
$(A_1 \cup A_2) \times (B_1 \cup B_2)=(A_1\times B_1) \cup (A_2 \times B_2)$?
No creo que esto es cierto. He intentado dibujar para ayudarme a conseguir en el camino correcto, pero creo que la Unión hace de este falso. por ejemplo, si $a \in A_1$ y $b \in B_2$, entonces $(a,b)$ no sería en $(A_1\times B_1) \cup (A_2 \times B_2)$. ¿Esto es una suposición correcta?