[...] DEP: Every element of S2 has a correspondent in S1. Range(ℜ) = S2.
- McCarthy & Prince (2004), Pag. 434