:: deftheorem defines fD VSDIFF_1:def 5 :
for F, G being Field
for V being VectSp of F
for h being Element of V
for W being VectSp of G
for f being PartFunc of V,W holds fD (f,h) = (Shift (f,h)) - f;