R, a list, the minimal list of generating relations of P
Description
A relation a < b of elements in P is a covering relation if there exists no c in P such that a < c < b. The set of covering relations is the minimal list of relations in P that describes all relations of P.