Description: Indexed union of a singleton. Compare dfiun2 and rnmpt . (Contributed by Steven Nguyen, 7-Jun-2023)