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