symmetric but neither reflexive nor transitive