Go backward to Exponentiation of Relations Go up to Top Go forward to Transitive Closure |
Proposition:
forall S, R: R subset S x S => transitiveS(R) = union {R</sup>iS: i in N>0}
Interpretation: Transitive closure is limit of
[R, R union (R o R), R union (R o R) union (R o R o R), ...]
Problem: cannot compute infinite sequence!