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

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