y): the difference between x and y is odd; x ∈ A