Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Covering relation
Summary
In mathematics, especially order theory, the covering relation of a partially ordered set is the binary relation which holds between comparable elements that are immediate neighbours. The covering relation is commonly used to graphically express the partial order by means of the Hasse diagram.
Let be a set with a partial order .
As usual, let be the relation on such that if and only if and .
Let and be elements of .
Then covers , written ,
if and there is no element such that . Equivalently, covers if the interval is the two-element set .
When , it is said that is a cover of . Some authors also use the term cover to denote any such pair in the covering relation.
In a finite linearly ordered set {1, 2, ..., n}, i + 1 covers i for all i between 1 and n − 1 (and there are no other covering relations).
In the Boolean algebra of the power set of a set S, a subset B of S covers a subset A of S if and only if B is obtained from A by adding one element not in A.
In Young's lattice, formed by the partitions of all nonnegative integers, a partition λ covers a partition μ if and only if the Young diagram of λ is obtained from the Young diagram of μ by adding an extra cell.
The Hasse diagram depicting the covering relation of a Tamari lattice is the skeleton of an associahedron.
The covering relation of any finite distributive lattice forms a median graph.
On the real numbers with the usual total order ≤, the cover set is empty: no number covers another.
If a partially ordered set is finite, its covering relation is the transitive reduction of the partial order relation. Such partially ordered sets are therefore completely described by their Hasse diagrams. On the other hand, in a dense order, such as the rational numbers with the standard order, no element covers another.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.