Out for a T that is there, undefined for one that is not, and the union for a T that may be either.
Out
T
undefined
Outfor aTthat is there,undefinedfor one that is not, and the union for aTthat may be either.