The definition of covariance implies inheritance, as it necessarily involves an overridden method. What's your question?