Help


from Wikipedia
« »  
Every binary relation R on a set S can be extended to a preorder on S by taking the transitive closure and reflexive closure, R < sup >+=</ sup >.
The transitive closure indicates path connection in R: x R < sup >+</ sup > y if and only if there is an R-path from x to y.

1.988 seconds.