Soit $({\cal Z}_n)_{n \le 0}$ une filtration indexée par les entiers négatifs et $({\cal U}_n)_{n \le 0}$ une filtration immergée dans $({\cal Z}_n)_{n \le 0}$. On dit que $({\cal U}_n)_{n \le 0}$ est complémentable dans $({\cal Z}_n)_{n \le 0}$ s'il existe une filtration $({\cal V}_n)_{n \le 0}$ indépendante de $({\cal U}_n)_{n \le 0}$ telle que $({\cal Z}_n)_{n \le 0}$ soit engendrée par $({\cal U}_n)_{n \le 0}$ et $({\cal V}_n)_{n \le 0}$.
Soit $(E,{\cal E},\pi,T)$ un système dynamique. Un facteur de $T$ est une sous-tribu de ${\cal E}$ invariante par $T$. Un facteur ${\cal A}$ est dit complémentable s'il existe un facteur ${\cal B}$ indépendant de ${\cal A}$ tel que ${\cal A} \vee {\cal B} = {\cal E}$.
Nous présentons une autre notion appelée maximalité, plus faible que la complémentabilité. Malgré une analogie frappante, les notions de complémentabilité et de maximalité sont différentes suivant le contexte.