Na alienação temos um Outro completo, infinito, portador dos significantes, enquanto na separação a condição lógica introduz um Outro faltante. ... Esta falta é pensada por Lacan como objeto a, e ocupa, na lógica dos conjuntos, o que é faltante nos dois campos (o campo do sujeito e o campo do Outro)
