:: deftheorem defines NDentry NOMIN_2:def 5 :
for g being Function-yielding Function
for X being Function
for d being object holds NDentry (g,X,d) = rng (NDdataSeq (g,X,d));