The equivalent relation was given wrongly, it should be " if and only if ".

Looking at , we see that there is one to one mapping between the classes in and the interval : for every class there is a unique real number such that , now map to the unique real number in . You can show that it is a homoemorphism.