:: deftheorem defines fs_Funcs LMODFREE:def 8 :
for R being Ring
for X being set holds fs_Funcs (X,R) = { x where x is Function of X, the carrier of R : x is finite-Support } ;