Relación de orden
De Wikipedia, la enciclopedia encyclopedia
En matemáticas, una relación de orden u orden parcial[lower-alpha 1] es una relación binaria que pretende formalizar la idea intuitiva de ordenación de los elementos de un conjunto, es decir, que permite comparar sus elementos.
Los conjuntos dotados de un orden, llamados conjuntos ordenados, son el objeto de estudio de la teoría del orden.