for X being non empty 1-sorted
for A, B being Subset of X holds (A `) \ (B `) = B \ A