Conjunt transitivo
Un conjunt transitivo é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
[editar | editar còdic]- El conjunt definit com:
és transitivo.
- Més en general dins de la teoria de conjunts ZF pot formalisar-se la noció d'número entero 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
[editar | editar còdic]Bibliografia
[editar | editar còdic]- (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.