theorem
  {x} \/ {x,y} = {x,y}
proof
  x in {x,y} by TARSKI:def 2;
  hence thesis by Lm1,XBOOLE_1:12;
end;
