Fuente TeX:

(A\times B)\cup (C\times D)\subset (A\cup C)\times (B\cup D)