Muchos otros tipos de orden se presentan cuando se garantiza la existencia de ínfimos y supremos de ciertos conjuntos.