Conjunto inductivo

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 22 de septiembre de 2019; las comprobaciones requieren 2 ediciones .

Un conjunto inductivo es un conjunto que está vacío o existe un entero positivo para él tal que el conjunto contiene exactamente los miembros [1] . Si un conjunto es inductivo, entonces es finito y no puede ser reflexivo. Un conjunto reflexivo es un conjunto que es equivalente a su propio subconjunto . Un conjunto es finito si no es reflexivo. Un conjunto reflexivo no puede ser inductivo. Bajo la condición de verdad del axioma de elección , todos los conjuntos existentes son inductivos o reflexivos, el tercero no está dado [2] . No hay conjuntos con cardinalidad intermedia entre las cardinalidades de los conjuntos finitos e infinitos [2] .

Véase también

• conjunto infinito
• conjunto finito

Notas

1. ↑ Frenkel, 1966 , pág. 85.
2. ↑ 1 2 Frenkel, 1966 , pág. 86.

Literatura

• Frenkel A. A. , Bar-Hillel R. Fundamentos de la teoría de conjuntos. — M .: Mir, 1966. — 555 p.