Definition:Transitive Reflexive Closure