In programming, the ability to use a derived class where a base class is expected, typically relating to the return type of methods in class hierarchies.

"Covariance allows for more specific return types in method overrides in subclasses, enhancing flexibility and reusability of code."