Transitive Closure (Relation Theory)/Examples