En général, les modèles courants de l’antonymie lexicale ramènent le phénomène à l’action d’un opérateur de négation qui agit sur un ou plusieurs traits sémantiques d’une unité lexicale. En même temps, ces modèles prennent pour acquis qu’entre deux contraires, il ne peut exister ni une relation d’identité ni une relation d’inclusion logique. Ainsi, partir n’est nullement identique à rester, et en même temps, partir n’implique pas rester (et vice-versa). Or, il existe en français contemporain une classe de constructions, qui se caractérisent sur le plan formel par la présence d’une base nominale et de l’un ou l’autre des préfixes A-, ANTI-, CONTRE- ou NON-, qui semblent manifester et une occurrence de l’opérateur de négation et une relation d’inclusion logique entre la construction préfixée et la base nominale seule (dans le sens que, étant donné une base nominale y et un préfixe x, on peut affirmer de la construction x + y qu’elle représente un type particulier de y).