Revision of definition of the support of a function
Revision of definition of the support of a function

- Revision of df-supp according to the proposal of BJ
- Remark on 0-dimensional matrices added according to the suggestion of GL
- minor improvements/corrections

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