x ∈ y ∧ x ∉ y