In mathematics, a partial order or total order < on a set X is said to be dense if, for all x and y in X for which x < y, there is a z in X such that x < z < y.