Description: The union of the support of two finitely supported functions is finite. (Contributed by AV, 1-Jul-2019)