Pares de significantes mutuamente exclusivos em um paradigma definido que representam categorias que logicamente se opõem e que juntos definem um completo universo de discurso (domínio ontológico relevantes), por exemplo, vivo/não-vivo. Em tais oposições cada termo implica, necessariamente, seu oposto e não há nenhum meio termo.