Anar al contingut

Orde dens

De L'Enciclopèdia, la wikipedia en valencià

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