for I being non empty set
for B being V2() ManySortedSet of I holds not union (rng B) is empty