Category:Property satisfactions
From Groupprops
This is a property-theoretic category
This is a category (or supercategory) listing a broad class of facts/results/theorems
You're probably looking for Category:Metaproperty satisfactions if you're interested in situations where a property satisfies a property of properties.
Subcategories
This category has the following 2 subcategories, out of 2 total.