In programming languages, the ability to use a more derived type than that originally specified. Covariance in generic interfaces and delegates allows for implicit conversion of generic type parameters. Covariance is also supported for non-generic delegates for matching method signatures with delegate types.
— Computer Science