Pares de significantes mutuamente exclusivos en un conjunto paradigmático que representa las categorías que se oponen de manera lógica y que juntas definen un completo universo de discurso (dominio ontológico relevante), por ejemplo vivo/no-vivo. En tales oposiciones cada término implica necesariamente su opuesto y no hay ningún término medio.