After every prefix, the DFA state is exactly the set of NFA states reachable after that prefix. The union transition preserves this equality one symbol at a time, and a subset is final exactly when it contains an NFA final state.