λ-Lemma, folgende Aussage über die Schnitte höherdimensionaler Scheiben.

Seien f ein auf einer offener Menge W ⊂ ℝⁿ definierter C¹-Diffeomorphismus und x₀ ∈ W ein hyperbolischer Fixpunkt von f mit s-dimensionaler stabiler bzw. u-dimensionaler instabiler Mannigfaltigkeit W^s bzw. W^u mit s + u = n. Weiter seien eine u-dimensionale Scheibe D_u ⊂ W^u (p) sowie eine u-dimensionale Scheibe D_s gegeben, die für ein x ∈ W die instabile Mannigfaltigkeit W_u (x) transversal schneidet.

Dann enthält \begin{eqnarray}\displaystyle \mathop{\cup }\limits_{n\in {\mathbb{N}}}{f}^{n}({D}_{s})\end{eqnarray}eine u-dimensionale Scheibe, die in der C¹-Topologie beliebig nahe an D_u ist.