Description: Two ways of saying that a function with known codomain is finitely supported. (Contributed by AV, 8-Jul-2019)