Retículo

Un conjunto parcialmente ordenado en el que cada par de elementos tiene una mínima cota superior (join) y una máxima cota inferior (meet).

Un retículo es un conjunto parcialmente ordenado (L, ≤) en el que cada par de elementos x, y tiene una mayor cota inferior (meet, denotado x ∧ y) y una menor cota superior (join, denotado x ∨ y). Las operaciones meet y join son asociativas, conmutativas, idempotentes y satisfacen las leyes de absorción.