minus operation for sets