1: \begin{definition}%

2: %[equivalent to Definition \ref{def:cyc-alpha0} by {\cite[Theorem 5.3]{AB1}}]

3: [equivalent to Definition \ref{def:cyc-alpha0} by Theorem \ref{th:active-duality}]

4: \label{def:cyc-alpha2}

5: Let $E$ be a linearly ordered set with $|E|>1$.

6: Let $p=min(E)$ and $p'=\min(E\s\{p\})$.

7: %Let $\M$ be an oriented matroid on a linearly ordered set $E$,

8: Let $\M$ be an oriented matroid on  $E$,

9: dual-bounded with respect to $p$.

10: %with respect to the minimal element $p$ of $E$. 

11: Then $-_p\M$ is bounded w.r.t. $p$, and 

12: we can define $\alpha(\M)$ by:

13: \begin{equation*}

14: %\tag{Active Duality}

15: %\label{eq:act_mapping_strong_duality}

16: \alpha(\M)=\alpha(-_p\M)\setminus \{p\}\cup \{p'\}.

17: \end{equation*}

18: % $$\alpha(\M)=\alpha(-_p\M)\setminus \{p\}\cup \{p'\}$$ 

19: %$p'$ is the smallest element of $E$ distinct from $p$.

20: \end{definition}

21: