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.
This is a disambiguation page — a navigational aid which lists other pages that might otherwise share the same title. If an article link referred you here, you might want to go back and fix it to point directly to the intended page.