Covariance and contravariance (computer science)
Appearance
(Computer Science, object orientation) - arguments of overriding methods can take arguments supertypes of the original arguments. Related concepts are Covariance (arguments have to be of subtype) and invariance (arguments have to be of exactly same type). Also see http://c2.com/cgi/wiki?ContraVsCoVariance (external link).