y = x<, o sea que la clase de equivalencia de x es xH.