1: \begin{definition}\label{PROP_DeltaPowerset_noet}

2: Let $\bbA = \tup{A,\tmap,\pmap,a_I}$ be a $\nmso$-automaton. 

3: Fix any $c \in C$ and $Q \in \shA$. 

4: By Theorem~\ref{t:osnf} there is a sentence $\Psi_{Q,c} \in

5: {\ofoe}^+(A)$ in the basic form $\bigvee \dbnfofoe{\vlist{T}}{\Pi}$, for some

6: $\Pi \subseteq \shA$ and $T_i \subseteq A$, such that $\bigwedge_{a \in Q} 

7: \tmap(a,c) \equiv \Psi_{Q,c}$.

8: By definition, $\Psi_{Q,c} = \bigvee_{n}\varphi_n$, with each $\phi_{n}$ of 

9: shape $\dbnfofoe{\vlist{T}}{\Pi}$.

10: %

11: We put $\bmDe(Q,c) \isdef  \bigvee_{n}\varphi_n^{\noet}  \in {\ofoe}^+(\shA)$, where the translation $(\cdot)^{\noet}$ is as in Definition \ref{DEF_noetherian_lifting}.

12: \end{definition}

13: