"L", junto con el orden parcial ≤ así definido, sería entonces un retículo en el sentido antedicho de la teoría del orden.