(i.e. every subset of Q which as an element in F is considered as a final state in DFA D )

for all and

where

That is,

To show that this construction works we need to show that L(D)=L(N) i.e.