A general expression has a subgroup removed by valid proof. What is it?

Legal Implications of Khāṣṣ and the Two Kinds of ʿĀmm