theorem :: RELSET_2:5

for X, Y being set holds {_{(X \ Y)}_} = {_{X}_} \ {_{Y}_}