Un conjunto parcialmente ordenado ("L", ≤) se denomina retículo si satisface las siguientes propiedades: