El segundo paso es demostrar que hay un subconjuntoK de\mathbb{R} tales que no hay sobrejección (y por lo tanto no bijección) de\mathbb{N} aK. Una relación de equivalencia en un conjun...El segundo paso es demostrar que hay un subconjuntoK de\mathbb{R} tales que no hay sobrejección (y por lo tanto no bijección) de\mathbb{N} aK. Una relación de equivalencia en un conjuntoA es un (sub) conjunto\mathbb{R} de pares ordenadosA \times 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].