Page "Preorder" Paragraph 34
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.
Page 1 of 1.
1.988 seconds.