Conjunto transitivo

Un conjunto transitivo es un conjunto tal que cualquiera de sus elementos también es un subconjunto del propio conjunto. Formalmente A es un conjunto transitivo si tiene la siguiente propiedad: Plantilla:Ecuación

Ejemplos

• El conjunto definido como:

Plantilla:Ecuación es transitivo.

• Más en general dentro de la teoría de conjuntos ZF puede formalizarse la noción de número entero como un conjunto transitivo mediante el siguiente conjunto de definiciones recurrentes:

Por ejemplo el conjunto anteriormente definido B = A₃

• Un conjunto transitivo tal que todos sus elementos son también transitivos es un conjunto llamado número ordinal.

Referencias

Bibliografía

• Plantilla:Cita libro