for I being non empty set
for M being V8() ManySortedSet of I holds M = (EmptyMS I) +* (M | (support M))