for f being Function
for C being set st f is Function-yielding holds
f | C is Function-yielding ;