Notation for a function from disjoint union

You can use the same notation as for sets. Not only because "everybody will know what you mean", but also because it is coincidentally well defined. This is because functions are sets of tuples (the set theoretic definition of functions). If you regard the functions $f$ and $g$ as sets, then the set $f\sqcup g$ is again a function and it is exactly the function you wanted to get. Indeed:

Writing $f$ and $g$ as sets yields $$f = \{(a,y)\mid a\in A \mbox{ and } y = f(a)\}$$ $$g = \{(b,y)\mid b\in B \mbox{ and } y = f(b)\}$$

Taking the ordinary disjoint union of sets yields $$f\sqcup g = \{(c,y)\mid (c\in A \mbox{ and } y = f(c)) \mbox{ or } (c\in B \mbox{ and } y = f(c))\}$$ which agrees with your definition of disjoint union of functions.


Literally the first thing I thought of when I saw the title of your post and the first bunch of words (prior to "standard") was: $f\sqcup g.$ Since I can't recall ever having seen it, I must agree with Crostful that it may not be "standard," per se. However, given the automaticity of that notation popping into my mind, I must also agree with Mike Miller that it is readily "standardizable."