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