En matemáticas, específicamente en álgebra y teoría del orden, un retículo es una estructura algebraica en un conjunto: A {\displaystyle A\,} con una relación binaria: R {\displaystyle {\mathcal {R}}} que es conjunto parcialmente ordenado y dos operaciones binarias, con la propiedad fundamental de que toda pareja a, b ∈ A {\displaystyle a,b\in A} de elementos tiene un único supremo en A, sup ∈ A {\displaystyle A,\;\sup\in A} y un único ínfimo en A, inf ∈ A {\displaystyle A,\;\inf\in A}. Wikipedia