List Tuple Set Difference Law