for f being Function-yielding Function st {} in rng f holds
<:f:> = {}