Reflexive transitive symmetric closure