![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() |
The transitive reflexive reduction of a Partial Order. An element of a Poset
covers another
element
provided that there exists no third element
in the poset for which
. In this case,
is
called an ``upper cover'' of
and
a ``lower cover'' of
.