При этом потомок какого-либо типа наследует контракт своего предка (набор операций, которые можно выполнять над данными, принадлежащими этому типу)