theorem Th47: :: FUNCT_3:47

for X being set holds rng (delta X) c= [:X,X:]