models, Shenoy's (1979) absence of the paradox of smaller coalitions provides a sufficient condition for core existence. We …. (2001) that guarantees nonemptiness of the core in more general models. As it turns out, the top coalition property implies … induced hedonic game satisfies the top coalition property. -- Coalition formation ; Core ; Paradox of smaller coalitions …