Este documento define lo que es un retículo y sus propiedades fundamentales. Un retículo es un conjunto en el que se han definido dos operaciones llamadas unión e intersección que cumplen propiedades como asociatividad, conmutatividad e idempotencia. Además, en un retículo se puede establecer una relación de orden basada en la inclusión. El documento también define los conceptos de ínfimo y universal en un retículo.