Paires de signifiants de mutuellement exclusif dans un paradigme set représentant des catégories qui sont logiquement opposés et qui ensemble définissent un complète univers de discours (pertinente du domaine ontologique), par exemple vivant/non-alive. Dans ces oppositions chaque terme implique nécessairement son opposé et il n'y a pas de moyen terme.