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