:: deftheorem defines SuppFin LMODFREE:def 30 :
for R being non degenerated Ring
for X being non empty set
for f being Element of (Free_LMod (X,R)) holds SuppFin f = Support (@ f);