reflexive and symmetric but not transitive example