remove check for non-empty sets in ProductSet

The check is unnecessary as it is also performed by ProductSetIterator.
simplify equality test in ProductSet#iterator()