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