Orde dens
Aparència
En matemàtica, i particularment en la teoria de l'orde, un orde parcial < en un conjunt X és dens (o dens-en-sí-mateixa) si para tot x i i en X per als quals x < i, existix un z en X tal que x < z < i.
Els número racional en l'ordenació usual són en este sentit un conjunt densament ordenat, aixina com també ho són els número real. Per un atre costat, l'ordenació usual en els sancers no és densa.
Vore també
[editar | editar còdic]Referències
[editar | editar còdic]- David Harel, Dexter Kozen, Jerzy Tiuryn, Dynamic logic, MIT Press, 2000, ISBN 0262082896, p. 6ff
- Este artícul conté una traducció derivada de «Orden denso» 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.