What defines istīfāʾ aqsām al-shayʾ?

Jamʿ, Tafriq and Taqsim: Individual, Combined and Exhaustive Forms

• Distinguish degrees within a kind
• Unite plural things in one predicate
• Exhaust all relevant classes
• Explicitly assign a predicate to each referent