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$.

The object coveringRelations is a method function.