Category:Transitive Closure Always Exists (Relation Theory)