Covering relation
Overview
 
In mathematics
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...

, especially order theory
Order theory
Order theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article introduces the field and gives some basic definitions...

, the covering relation of a partially ordered set
Partially ordered set
In mathematics, especially order theory, a partially ordered set formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set. A poset consists of a set together with a binary relation that indicates that, for certain pairs of elements in the...

 is the binary relation
Binary relation
In mathematics, a binary relation on a set A is a collection of ordered pairs of elements of A. In other words, it is a subset of the Cartesian product A2 = . More generally, a binary relation between two sets A and B is a subset of...

 which holds between comparable
Comparability
In mathematics, any two elements x and y of a set P that is partially ordered by a binary relation ≤ are comparable when either x ≤ y or y ≤ x...

 elements that are immediate neighbours. The covering relation is commonly used to graphically express the partial order by means of the Hasse diagram
Hasse diagram
In order theory, a branch of mathematics, a Hasse diagram is a type of mathematical diagram used to represent a finite partially ordered set, in the form of a drawing of its transitive reduction...

.
Let X be a set with a partial order ≤.
As usual, let < be the relation on X such that x < y if and only if x ≤ y and x ≠ y.

Let x and y be elements of X.

Then y covers x, written x <· y,
if x < y and there is no element z such that x < z < y.
Quotations

"There's naught, no doubt, so much the spirit calms as rum and true religion." -- Lord Byron

"The chief fuddling they make in the island is Rumbullion, alias Kill-Divil, and this is made of sugar canes distilled, a hot, hellish, and terrible liquor". -- 17th Century account

"Fifteen men on the dead man's chest-Yo-ho-ho, and a bottle of rum!" -- Robert Louis Stevenson, Treasure Island

"Don't talk to me about naval tradition. It's nothing but rum, sodomy, and the lash." -- Attributed to, and denied by, Winston Churchill

"Where I go, I hope there's rum" - Jimmy Buffett

"But why's the rum gone?" - Johnny Depp as "Captain Jack Sparrow", The Pirates of the Carribean: The Curse of the Black Pearl

"Hide the rum." - Johnny Depp as "Captain Jack Sparrow", The Pirates of the Carribean: Dead Man's Chest

"I prefer rum. Rum is good." - Captain Jack Sparrow, Pirates of the Caribbean:At World's End

 
x
OK