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