Why is childlessness needed for the exhaustive classification?

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

• It establishes the combined category
• Otherwise allocations are not explicit
• It changes the positive cases
• Otherwise one possibility is left out