for I being set
for A being V8() ManySortedSet of I
for F being ManySortedFunction of A, EmptyMS I holds F = EmptyMS I