(x,y) | x ∈ X,y ∈ Y

(x,y) | x ∈ X,y ∈ Y