for I being set
for f, g being ManySortedSet of I holds (product f) /\ (product g) = product (f (/\) g)