theorem Th2: :: SETWISEO:2

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