Go backward to Exponentiation of RelationsGo up to TopGo forward to Transitive Closure |

*Proposition:*

forallS,R:RsubsetSxS=>transitive _{S}(R) =union{R^{</sup>iS: i in N>0} }

*Interpretation:* Transitive closure is limit of

[ R,Runion (RoR),Runion (RoR) union (RoRoR), ...]

*Problem: cannot compute infinite sequence!*

Author: Wolfgang Schreiner

Last Modification: January 26, 2000