Make a binary relation from its graph.
Make a binary relation from its graph.
Make a binary relation using the graph produced by fromOneStepGraph
applied to t
and onestep
.
Make a graph from the repeated application of onestep
to t
and
the results that it produces.
Factory for binary relations.