1: \begin{definition}
2: \label{def:act-classes}
3: Let $M\ra N$ be an oriented matroid perspective on a linearly ordered set $E$.
4: %
5: We define \emph{the activity class of $M\ra N$} as the set of
6: its reorientations $-_AM\ra -_AN$ %of $M\ra N$
7: where
8: $A$ is any union of
9: cyclic or acyclic parts of its active partition. % of $M\ra N$.
10: %
11: %We define \emph{the activity class of $M\ra N$} as the set of
12: %reorientations $-_AM\ra -_AN$ of $M\ra N$
13: %where
14: %$A$ is any union of
15: %cyclic or acyclic parts of the active partition of $M\ra N$.
16: %
17: Observe that we forbid reorienting the hybrid part%
18: \footnote{This is done in order to distinguish reorientations from their complementaries when the hybrid part is non-empty. This yields tighter classes, closer to Tutte polynomial properties, and meaningful notably in the proof of Theorem~\ref{th:expansion-reorientations}.}%
19: .
20: %
21: %By extension to all reorientations of $M\ra N$, and by Theorem \ref{thm:act-classes},
22: By Proposition \ref{thm:act-classes} and
23: extending this definition to all reorientations of $M\ra N$,
24: we define \emph{activity classes of reorientations of $M\ra N$}, that partition the set of reorientations of $M\ra N$, and can be seen as classes of the equivalence relation defined by reorienting parts of the active partition.
25: %
26: %we obtain an equivalence relation for the set of reorientations of $M\ra N$,
27: %whose equivalence classes are called
28: %%
29: %By Theorem \ref{thm:act-classes}, extension to all reorientations of $M\ra N$,
30: %we obtain an equivalence relation for the set of reorientations of $M\ra N$,
31: %whose equivalence classes are called \emph{activity classes of reorientations of $M\ra N$} (well-defined by Theorem \ref{thm:act-classes}).
32: %%
33: %By extension to all reorientations of $M\ra N$,
34: %this yields an equivalence relation for the set of reorientations of $M\ra N$ (well-defined by Theorem \ref{thm:act-classes}).
35: \end{definition}
36: