можливість створювати з класів нові класи, які успадковують структуру і методи своїх предків, додаючи до них риси, що відображають їх власну індивідуальність

різні об'єкти можуть мати однаковий інтерфейс методів, але різну їх реалізацію

кожен об'єкт володіє деяким внутрішнім станом і дає доступ до нього лише за допомогою певних процедур

зв’язок R в обох напрямках, від E до F та від F до E, належить до типу "багато до одного"

кожний член множини F може бути з’єднаний не більш як з одним членом E

кожний член множини E може бути з’єднаний не більш як з одним членом F

зв’язок R в жодному напрямку, від E до F та від F до E, не належить до типу "багато до одного"