properties of difference of sets