The transitive reflexive reduction of a partial order. An element z of a partially ordered set (X, <=) covers another element x provided that there exists no third element y in the poset for which x<=y<=z. In this case, z is called an "upper cover" of x and x a "lower cover" of z.

Hasse diagram | partial order