:: deftheorem Def1 defines -support-yielding MATRTOP3:def 1 :
for X being set
for F being Function-yielding Function holds
( F is X -support-yielding iff for f being Function
for x being set st f in dom F & (F . f) . x <> f . x holds
x in X );