reflexive_closure