In a partially ordered set, covers when and there is no with . Thus a cover relation records an immediate increase, rather than every comparable pair. For a finite partially ordered set, every strict comparison can be obtained by chaining cover relations.
New to topics? Read the docs here!