Theorem:The set (0,1) andare numerically equivalent.

I know that if I write the open interval as

where , and that , I also can conclude that and are numerically equivalent.

Question: What is the purpose of the theorem? Does it mean to say that any uncountable subset of is numerically equivalent with ?