Definición. (Orden Parcial)
Sea
conjunto una relación sobre , decimes que es una relación de orden parcial si es reflexiva, antisimétrica y transitiva.
Definición. (Orden Total)
el orden alfabetico es un orden total, llamado orden lexicográfico y no se limita a letras.