クラスの継承関係において、親クラスのメソッドの引数の型よりも広い型を子クラスで許可する性質を何と呼ぶか。

りも広い型を子クラスで許可する性質をは反変性(Contravariance)。