Let’s denote the number of ways to partition $ n $ distinguishable objects into $ k $ non-empty, indistinguishable subsets as $ S(n, k) $, the **Stirling number of the second kind**.