pull NFA down to Set₀
DFA redefined with Fin and Subset