for f being Function-yielding Function holds dom (doms f) = dom f by Def1;