In
mathematics, a
partial order ≤ on a set ''X'' is said to be 'dense' (or 'dense-in-itself') if, for all ''x'' and ''y'' in ''X'' for which ''x'' < ''y'', there is a ''z'' in ''X'' such that ''x'' < ''z'' < ''y''.
The
rational numbers with the ordinary ordering are a densely ordered set in this sense, as are the
real numbers. On the other hand, the ordinary ordering on the
integers is not dense.
See also
★
Dense set
★
Dense-in-itself