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