for x, y being set holds (product <*x*>) \ (product <*y*>) = product <*(x \ y)*>