Una relación de orden parcial ≤ sobre un conjunto "X" se dice densa (o densa-en -sí-misma) si, para todo "x" e "y" en "X" tales que "x" < "y" ("x" ≤ "y" y "x" ≠ "y"), existe otro "z" en "X" tal que "x" < "z" < "y".