Un lema sobre conjuntos diferentes

Ahora mismo estoy ejerciendo de referee (revisor o como queráis llamarlo) para un artículo y, lógicamente, estoy teniendo que leer bastantes papers para la ocasión.
Uno de ellos es un precioso artículo de Aron, Gurary y Seoane-Sepúlveda titulado Lineability and spaceability of sets of functions on y que se puede encontrar en Proc. Amer. Math Soc. 133 (2005), nº 3, 795-803. Ya lo conocía, y, probablemente, hablaré más de él en el futuro. Pero ahora me he fijado en un curioso lema técnico de teoría de conjuntos que, a primera vista, meresultó un tanto curioso, así que os lo dejo, con la demostración que obtuve y que también me resultó curiosa.
Lema: Si tenemos conjuntos todos ellos diferentes, arbitrarios y no vacíos, entonces seguro que existe uno de ellos tal que .
Para que todos nos entendamos, si y son dos conjuntos, entonces la diferencia entre ellos es. Por lo tanto, se cumple que si entonces tiene que cumplirse que . Además, se puede decir que si y sólo si .
En resumen, el lema nos dice que en las condiciones que plantea, seguro que uno de los conjuntos en concreto no puede estar totalmente contenido en ninguno de los otros. Aquí os dejo mi demostración.

Demostración: Vamos a hacerlo por reducción al absurdo. Supongamos que la tesis no es cierta, es decir, que dado cualquiera de los conjuntos , siempre podemos encontrar otro diferente (con ) tal que , o lo que es lo mismo, . Vamos allá.
Tomemos el primer conjunto , entonces debe existir otro diferente en el que esté contenido. Para no liar las cosas, vamos a renombrar a ese conjunto y lo vamos a llamar . Es decir, tenemos que .
Ahora tomamos . Debe existir otro conjunto diferente en el que esté contenido. Si este conjunto fuese , entonces tendríamos que , pero como también tenemos que , resulta que , lo que es imposible, ya que los conjuntos eran todos diferentes. Así que el conjunto en el que está contenido no puede ser . Pues nada, volvamos a renombrar a este último y será el que contenga a . Con lo que tenemos .
Ahora partimos de y tiene que haber un conjunto que lo contenga. Igual que antes, este conjunto no puede ser ni (entonces sería ) ni (entonces ). Así que llamamos al que contiene a y tendremos que  .
Así sucesivamente, renombrando todos los conjuntos, llegaremos en pasos a que . Pero ahora, si tomamos como conjunto, resulta que no puede estar contenido en ningún otro, lo que nos lleva a contradicción.
Así que la tesis del lema debe ser cierta.
En fin, sólo quería compartir con vosotros esta pequeña demostración que, en cierto modo, me ha recordado al principio del palomar, no sé muy bien por qué.
Tito Eliatron Dixit