for a, I being set ex A being ManySortedSet of I st {A} = I --> {a}