Toda recta es un conjunto de puntos abierto, denso ( Se clasifica denso el conjunto de puntos porque entre dos puntos siempre existe otro), y en el cual esta definida una relación de orden estricto, denominada "preceder".