for I being set
for A being ManySortedSet of I
for B being V5() ManySortedSet of I holds A is_transformable_to B