La notación para un preorden, es decir (X, ≤), se refiere a dos piezas de estructura: un conjunto llamado X y una relación llamada ≤ que es reflexiva y transitiva. Queremos agregar al concepto de preo...La notación para un preorden, es decir (X, ≤), se refiere a dos piezas de estructura: un conjunto llamado X y una relación llamada ≤ que es reflexiva y transitiva. Queremos agregar al concepto de preordenes una forma de combinar elementos en X, una operación tomando dos elementos y sumando o multiplicándolos juntos. Sin embargo, la operación no tiene que ser literalmente suma o multiplicación; solo necesita satisfacer algunas de las propiedades que uno espera de ellas.
