Set Theory Definition Of Subtraction