Si un conjunto no verifica esto, entonces es infinito: