{x}\in {y}\wedge {x}\notin {y}