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