Salut
d'un point de vue intuitif, ton raisonnement est tout à fait bon.
Pour voir la chose de façon encore plus large, ça consiste à couper un ensemble de taille n en trois sous-ensembles : un de taille k, un de taille p-k, et un de taille n-p. La somme vaut bien n.
Les deux écritures sont juste deux façons de procéder à un tel découpage.
Dans la première écriture on visualise celui de taille k en premier, puis celui de taille p-k. Le dernier de taille n-p est alors automatiquement créé.
Dans la deuxième écriture, on visualise d'abord celui de taille n-p (puisque, pour rappel,
), et ensuite celui de taille k. Alors, celui de taille p-k découle automatiquement.