Un retículo es una estructura algebraica con dos operaciones binarias o un conjunto parcialmente ordenado con propiedades específicas. Un diagrama de Hasse representa gráficamente un conjunto parcialmente ordenado finito eliminando información redundante. Un retículo es acotado si tiene una cota inferior y superior, y es complementario si cada elemento tiene un complementario único. Un retículo es distributivo si cumple la ley distributiva para cualquier tres elementos.