:: deftheorem defines bD VSDIFF_1:def 6 :
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 bD (f,h) = f - (Shift (f,(- h)));