What does it mean to take a union of a transition function with a starting state?
The function $\delta_1$ is the transition function of an NFA. It outputs a set of states. So $\delta_1(q,a) \cup \{q_1\}$ is just the union of two sets of states.