for I being set
for f being ManySortedFunction of I holds f "" (rngs f) = doms f