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