let x, y be set ; :: thesis: {x} \ {x,y} = {}
( x in {x,y} & y in {x,y} ) by TARSKI:def 2;
hence {x} \ {x,y} = {} by Lm11; :: thesis: verum