Como hemos dicho, un preorden es un conjunto P dotado de un orden ≤ que relaciona los elementos. Con respecto a este orden, ciertos elementos de P pueden tener caracterizaciones distintivas, ya sea ab...Como hemos dicho, un preorden es un conjunto P dotado de un orden ≤ que relaciona los elementos. Con respecto a este orden, ciertos elementos de P pueden tener caracterizaciones distintivas, ya sea absolutamente o en relación con otros elementos. Ya hemos discutido uniones antes, pero las discutimos nuevamente ahora que hemos construido algo de formalismo.
