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 Manifold s, and Singularity Theory , of a decomposition into pieces with specified relationships on fitting together.
