for I being set
for A, B being ManySortedSet of I st A c= B holds
product A c= product B