Esto define una biyección, puesto que cada elemento de {"a", "b,c"} se empareja con "un preciso elemento" de {1, 2, 3} , y viceversa.