Definition
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. Equivalently, y covers x if the interval is the two-element set {x, y}.
When x <· y, it is said that y is a cover of x. Some authors also use the term cover to denote any such pair (x, y) in the covering relation.
Read more about this topic: Covering Relation
Famous quotes containing the word definition:
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)