En efecto, como cada x está en [x] (reflexividad) se tiene que las clases de equivalencia no son vacías y que su reunión es igual a X.