Considere o conjunto A, composto pelos cinco primeiros números ímpares e uma função bijetora de A em A. Se um elemento w pertence a esse conjunto, então a imagem de w não pode ser igual a w − 2, w ou w + 2 . Além disso, se um elemento w pertence a esse conjunto e sua imagem é m , então a imagem de m não pode ser w ou w + 2 . Portanto, a imagem do segundo elemento desse conjunto, ao dispor os elementos em ordem crescente, é igual a