Transitive Closure Always Exists (Relation Theory)/Outline