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