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].