Orden denso
En matemática, y particularmente en la teoría del orden, un orden parcial < en un conjunto X es denso (o denso-en-sí-mismo) si para todo x e y en X para los cuales x < y, existe un z en X tal que x < z < y.
Los números racionales con la ordenación usual son en este sentido un conjunto densamente ordenado, así como también lo son los números reales. Por otro lado, la ordenación usual en los enteros no es densa.
Véase también
[editar]Referencias
[editar]- David Harel, Dexter Kozen, Jerzy Tiuryn, Dynamic logic, MIT Press, 2000, ISBN 0262082896, p. 6ff
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.