Fuente TeX:

(x,y)\in (A\cup C)\times (B\cup D)