Any function $\{(x_1,y_1), (x_2,y_2),... \}$ can be viewed as the union of "disjoint singleton" functions (I mean functions with distinct singleton co-domains, i.e. $\{x_1 \} \neq \{ x_2 \}$).
This reduction seems pleasing to me. Does it have a conventional uses or names?
Perhaps in the category of sets, where singleton sets are encoded as functions from the terminal element? Or elsewhere?