theorem Th24: :: NOMIN_2:25

for g being Function-yielding Function
for X being Function
for d being object holds dom (NDentry (g,X,d)) = rng X