Relación de cobertura

En matemática, especialmente la teoría del orden, una relación de cobertura es una relación binaria que asocia dos elementos comparables en un conjunto parcialmente ordenado si ellos son vecinos inmediatos.

Esta relación es comúnmente usada para expresar gráficamente ordenamientos parciales mediante el diagrama de Hasse.

Sean x e y elementos de un conjunto parcialmente ordenado P. Entonces, se dice que: y cubre x, lo que se escribe x <: y, si x < y, pero no existe un elemento z tal que x < z < y. Equivalentemente, y cubre x si el intervalo [x, y] es el conjunto de dos elementos consistente de x e y.