[...] UNIFORMITY ("No Coalescence"): No element of S2 has multiple correspondents in S1. For x, y ∈ S1 and z ∈ S2, if xℜz and yℜz, then x = y.- McCarthy & Prince (2004), a pag.436