También definimos un conjunto infinito para ser un conjunto que no es finito, pero la pregunta ahora es: “¿Cómo sabemos si un conjunto es infinito?” Una forma de determinar si un conjunto es un conjun...También definimos un conjunto infinito para ser un conjunto que no es finito, pero la pregunta ahora es: “¿Cómo sabemos si un conjunto es infinito?” Una forma de determinar si un conjunto es un conjunto infinito es usar Corolario 9.8, que establece que un conjunto finito no es equivalente a ninguno de sus subconjuntos.
El segundo paso es demostrar que hay un subconjuntoK deR tales que no hay sobrejección (y por lo tanto no bijección) deN aK. Una relación de equivalencia en un conjun...El segundo paso es demostrar que hay un subconjuntoK deR tales que no hay sobrejección (y por lo tanto no bijección) deN aK. Una relación de equivalencia en un conjuntoA es un (sub) conjuntoR de pares ordenadosA×A que satisfacen tres requisitos. Una excelente introducción a la cardinalidad de los conjuntos infinitos en el contexto de la ingenua teoría de conjuntos se puede encontrar en [15].