Suppose that f:X→R is a real-valued function whose domain is an arbitrary set X.
The set-theoretic support of f, written , is the set of points in X
where f
is non-zero:
The support of is the smallest subset of with the property that is zero on the subset’s complement. If for all but a finite number of points , then is said to have finite support.