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