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 .