1. У філософії та логіці — категорія, що позначає один із двох взаємопов’язаних елементів, які знаходяться в стані боротьби, протиріччя або взаємного заперечення; протилежність, антитеза.
2. У математиці та формальній логіці — поняття, твердження або величина, що знаходиться в прямій протилежності іншому поняттю, твердженню або величині.