cover | R Documentation |
Compute the covering relation of an endorelation.
relation_cover(x)
x |
an endorelation. |
Let R
be an endorelation with domain (X, X)
and P
be
the asymmetric part of R
for which x P y
iff x R y
and not y R x
. (If R
is a \le
order relation,
P
is the associated strict order.) We say that x
is
covered by y
if x P y
and there is no z
such that
x P z
and z P y
. One also says that y
covers
x
, or that it is a successor of x
.
The covering relation of R
consists of all pairs (x, y)
for which x
is covered by y
.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.