Orden total acotado
En matemáticas, un conjunto presenta un orden total acotado respecto a una relación binaria cuando tiene un orden total y está acotado superior e inferiormente.
[1][2] Dado un conjunto A y una relación binaria
definida entre los elementos de A, que expresaremos
cumple las propiedades: Dado un conjunto A en el que se ha definido una relación binaria
El elemento y de A es máximo si se cumple que: Se denomina máximo y define una cota superior en A; el elemento máximo es único.
Si el conjunto A y la relación binaria
Del mismo modo el elemento z de A que cumple: Se denomina mínimo y define una cota inferior en A; el elemento mínimo es único.
