В роботі представлено спробу визначити такі поняття об"єктно-орієнтованого програмування (ООП) як абстрактний тип даних, клас, об"єкт, процес, наслідування через прямі добутки, відношення на множинах, функції та абстрактні автомати. Запропонована формалізація понять ООП суттєво відрізняється від формалізаціїї Люка Карделлі, яку можна вважати загальноприйнятою.
In the paper some important terms of object - oriented programming (abstract data type, class, object, process, type, inheritance) are mathematically defined through relations, functions and automata. Proposed formalization of OOP notions significally differs from the formalization of Luca Cardelli, which could be considered as generally accepted.