Observe que en este teorema puede ser sustituido por cualquier conjunto infinito numerable.