1: \begin{definition}

2: %%\label{def:basis-dec-seq}

3: %%Let $B$ be a basis of a matroid $M$ on a linearly ordered set $E$.

4: %%The \emph{active filtration of $B$ in $M$}

5: %%  \index{matroid! basis active filtration (if linearly ordered)}

6: %%  \index{activities! active filtration}

7: %%   is the unique filtration of $M$ associated with $B$ in Theorem \ref{th:dec_base}.

8: %%\eme{DESSOUS reprise du th dans def}

9: %%%More precisely, it is the unique filtration

10: %%%$$\emptyset=F^*_\ep\subset...\subset F^*_0=F_c=F_0\subset...\subset F_\iota=E$$

11: %%%such that for all $k$, $1\leq k\leq \iota$,

12: %%%$$B_k=B\cap(F_k\s F_{k-1})$$ 

13: %%%is a base with activities $(1,0)$ of $M(F_k)/F_{k-1}$

14: %%%and for all $k$, $1\leq k\leq \ep$

15: %%%$$B^*_k=B\cap(F^*_{k-1}\s F^*_k)$$ 

16: %%%is a base with activities $(0,1)$ of $M(F^*_{k-1})/F^*_k$.\par

17: %%The \emph{active partition  of $B$ in $M$}

18: %%  \index{activities! active partition}

19: %%   is the partition of $E$ formed by the successive differences of subsets forming its active filtration.

20: %%\end{definition}

21: