Por lo tanto, las "clases de equivalencia" de los reales, definidas por ["x"] = {"y" ∈ R | "x" ~ "y"} para "x" ∈ R, forman una partición de R.