for I being set
for f being V8() ManySortedSet of I
for p being b₁ -defined b₂ -compatible Function ex s being b₂ -compatible ManySortedSet of I st p c= s