for I being set
for M being V8() ManySortedSet of I
for X being Element of M holds X = (id M) .. X