User:Dfeuer/Reflexive Closure of Transitive Relation is Transitive