В статті уточнюється поняття специфікації класу, розглядається операція об’єднання специфікацій класів. За допомогою операції накладання виконується формальне уточнення множинного успадкування
In the paper the notion of class specification is rectified, the operation of combination of class specifications is considered. The formal clarification of multiple inheritances is realized due to the overlap operation.