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