prod_difference_set