Invocando el axioma de elección, se puede tomar un conjunto "V" ⊆ [0, 1] que contenga exactamente un miembro representativo de cada clase de equivalencia; esto es, que para cada real "x", el conjunto "V" ∩ ["x"] es un conjunto unitario.