Transitive Closure Always Exists (Relation Theory)