Por ejemplo, si la estructura es una lista, normalmente se introduce el orden parcial '<' tal que "L" < "M" siempre que exista "x" tal que "x::L=M" Bajo este orden, la lista vacía "[]" es el único elemento mínimo.