x in {x,y} by TARSKI:def 2;
hence for b₁ being set st b₁ = {x} \ {x,y} holds
b₁ is empty by ZFMISC_1:60; :: thesis: verum