theorem Th1: :: SETWISEO:1

for x, y, z being set holds {x} c= {x,y,z}