1: \begin{definition}[\cite{BP07}, Theorem 9.4.1]
2: A \emph{leaf-subordinated partition} associated with the global stable manifolds is a measurable partition $\xi$ such that
3: \begin{enumerate}
4: \item For $\mu$-a.e.\ $x$, the element of $\xi$ containing $x$ is an
5: open subset of $W^{s,\epsilon}(x)$ for some $\epsilon>0$ (hence in particular, $\xi\geq \Pi^-$);
6: \item $f\xi \geq \xi$ ($\xi$ is increasing);
7: \item $\xi_f = \eps$;
8: \item $\Pi(\xi) = \HHH(\Pi^-)$.
9: \end{enumerate}
10: \end{definition}
11: