x
∈
y
∧
x
∉
y