Dense order

In mathematics, a partial order or total order < on a set ${\displaystyle X}$ is said to be dense if, for all ${\displaystyle x}$ and ${\displaystyle y}$ in ${\displaystyle X}$ for which ${\displaystyle x<y}$, there is a ${\displaystyle z}$ in ${\displaystyle X}$ such that ${\displaystyle x<z<y}$. That is, for any two elements, one less than the other, there is another element between them. For total orders this can be simplified to "for any two distinct elements, there is another element between them", since all elements of a total order are comparable.