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