1: \begin{definition} \mlabel{def:4.20} We consider a von Neumann algebra $\cM \subeq B(\cH)$ 

2: for which the set $\cs(\cM)$ of cyclic and separating unit vectors 

3: is non-empty. We fix an element $\Omega \in \cs(\cM)$ and the 

4: corresponding modular objects $(\Delta, J)$ 

5: (Theorem~\ref{thm:tom-tak}). We recall 

6: the {\it natural positive cone} 

7: \[ \cP := \oline{\{Aj(A)\Omega\: A \in \cM\}}, \quad \mbox{ where } \quad 

8: j(A) := JAJ\] 

9: (\cite[Def.~2.5.25]{BR87}) and write 

10: \[ \cs(\cM)_+ := \cP \cap \cs(\cM)\] 

11: for the set of cyclic separating unit vectors in $\cP$. 

12: We further write 

13: \[ \mc(\cM) := \{ J_\xi \: \xi \in \cs(\cM)\} \] 

14: for the corresponding set of {\it modular conjugations}. We further consider the 

15: set 

16: \[ \ms(\cM) = \{ V_\xi = \oline{\cM_h \xi} \: \xi \in \cs(\cM)\} 

17: \subeq \Stand(\cH) \] 

18: of {\it modular standard subspaces for $\cM$} and 

19: note that $\Delta_{V_\xi} = \Delta_\xi$ and $J_{V_\xi} = J_\xi$. 

20: \end{definition}

21: