Un conjunto ordenado es aquel en el que se ha definido un orden.