це концепція, що дозволяє мати різні реалізації для одного і того самого методу, які будуть вибиратися залежно від типу об'єкту, переданого до методу при його виклику

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

здатність приховування реалізації (властивостей і методів усередині класу), тобто можливість доступу до об'єкту і маніпулювання ним виключно за допомогою властивостей і методів класу

опис взаємодії виключно в термінах повідомлень/подій в предметній області