En teoría de conjuntos, un retículo es un conjunto parcialmente ordenado en el cual, para cada par de elementos, existen un supremo y un ínfimo, esto es: