Um subconjunto de tal que a função ; definida por é injetora, é dado por