Sea $C$ una familia (probablemente infinita) de subconjuntos de $\mathbb{N}$ tal que para cada cadena $C_{1}\subset C_{2}\subset \ldots$ de miembros de $C$ , existe un miembro de $C$ que los contiene a todos. Muestre que existe un miembro de $C$ tal que ningún otro miembro de $C$ lo contiene!