Moving support of functions from AV's mathbox to main part
Moving support of functions from AV's mathbox to main part

Def. and theorems about the support of functions are moved from AV's mathbox to the main part of set.mm.

metamath/set.mm,metamath/set.mm,metamath/set.mm