Conjunt transitiu
(Redirigit des de «Conjunt transitivo»)
Un conjunt transitiu és un conjunt tal que qualsevol dels seus elements també és un subconjunt del propi conjunt. Formalment A és un conjunt transitivo si té la següent propietat:
Eixemples
- El conjunt definit com:
és transitivo.
- Més en general dins de la teoria de conjunts ZF pot formalisar-se la noció de número sancer com un conjunt transitivo per mig del següent conjunt de definicions recurrents:
- Per eixemple el conjunt anteriorment definit B = A3
- Un conjunt transitivo tal que tots els seus elements són també transitivos és un conjunt cridat número ordinal.
Referències
Bibliografia
- M. Holtz; K. Steffens; E. Weitz (1999). «1. Foundations», Introduction to Cardinal Arithmetic (en anglés), Boston: Birkhäuser Verlag, pp. 15-20. ISBN 0-8176-6124-7.
- Este artícul conté una traducció derivada de «Conjunto transitivo» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.