El orden anterior es un reticulado completo.