I don't know -- I didn't downvote you, but you might want to edit to indicate that x and y are not necessarily finite sets. (For finite sets, the result is trivial.)