Description: The indexed union of a function's values is the union of its image under
the index class. This version of funiunfv uses a bound-variable
hypothesis in place of a distinct variable condition. (Contributed by NM, 26-Mar-2006)(Revised by David Abernethy, 15-Apr-2013)