(A.1) MAX [...] Every element of S1 has a correspondent in S2. Domain (ℜ) = S1.- McCarthy & Prince (2004), a pag.434