Invariant Comprehension

The attached pdf, is an article about my recent simplification of an approach that depended on invariance under permutations as a criterion for set-hood, and precisely of those defined by stratified formulas. This was done under the notion of symmetric sets. I believe it affords a more natural and much much less complex alternative technically speaking.