reserve x,y,z,X,Y for set;

theorem Th2:
  {x,y} c= {x,y,z}
proof
  {x,y,z} = {x,y} \/ {z} by ENUMSET1:3;
  hence thesis by XBOOLE_1:7;
end;
