In Logic, stratification is a layering of predicate symbols to guarantee unique interpretations and to avoid paradoxical definitions like Russell's paradox.
Stratification is a separate meaning as applied to manifolds, and Singularity theory, of a decomposition into pieces with specified relationships on fitting together.