¬R(x,y)

los nodos al desconectarse
no dividieron la propiedad en dos partes
contrario a lo que se pensaba
simplemente no quedó nada