for I being set
for MSS being ManySortedSet of I holds (MSS #) . (<*> I) = {{}}