1: \begin{definition}\cite[Theorem 3.6.2]{OM}\label{3term}

2: An \emph{oriented matroid} $\M$ of rank $d$ is a pair $(E,\chi)$ consisting of a finite set $E$

3: and a \emph{chirotope} $\chi: E^d \to \{-1,0,1\}$ that satisfies the following properties:

4: \begin{enumerate}

5: \item[(B$1'$)] The map $\chi$ is alternating, i.e.,

6: for any permutation $\sigma$ of $[d]$ and any $y_1,\dots,y_d \in E$, we have

7:  \[

8:   \chi(y_{\sigma(1)},\dots,y_{\sigma(d)}) = \sign(\sigma) \cdot \chi(y_1,\dots,y_d),

9:  \]

10: where $\sign(\sigma)$ is the sign of $\sigma$.

11: Moreover, the $d$-subsets $\{y_1, \dotsc, y_d\}$ of $E$ such that $\chi(y_1, \dotsc, y_d) \neq 0$ are the bases of a matroid on $E$.

12: \item[(B$2'''$)] For any $v_1, v_2, v_3, v_4, y_3,y_4, \dots,y_d \in E$,

13: \begin{center}

14: if $\epsilon:=\chi(v_1,v_2,y_3,y_4,\dots,y_d)  

15: \cdot \chi(v_3,v_4,y_3,y_4,\dots,y_d) \in \{-1,1\},$

16: \end{center}

17: then either

18: \begin{align*}

19: \chi(v_3,v_2,y_3,y_4,\dots,y_d)  

20: \cdot \chi(v_1,v_4,y_3,y_4,\dots,y_d) &= \epsilon \quad \text{ or}\\

21: \chi(v_2, v_4,y_3,y_4,\dots,y_d)  

22: \cdot \chi(v_1, v_3,y_3,y_4,\dots,y_d) &= \epsilon.

23: \end{align*}

24: \end{enumerate}

25: We consider $(E,\chi)$ to be the same oriented matroid

26: as $(E,-\chi)$.

27: \end{definition}

28: