Secuencia de conjuntos no vacios (OMM 2021 P6)

Determina todos los conjuntos no vacíos $C_1, C_2, C_3, \dots$, tales que cada uno de ellos tiene un número finito de elementos y todos sus elementos son enteros positivos, con la siguiente propiedad: Para cualesquiera enteros positivos $m$ y $n$, la cantidad de enteros positivos en el conjunto $C_m$ más la cantidad de enteros positivos en $C_n$ es igual a la suma de los elementos en el conjunto $C_{m+n}$.

Nota: Al denotar con $|C_k|$ la cantidad de elementos de $C_k$ y con $S_k$ la suma de los elementos de $C_k$, la condición del problema es que para $m$ , $n$ enteros positivos se cumple