let x, y, z be set ; :: thesis: {x,y} c= {x,y,z}
{x,y,z} = {x,y} \/ {z} by ENUMSET1:3;
hence {x,y} c= {x,y,z} by XBOOLE_1:7; :: thesis: verum