共変性(covariance)

その型は親クラスまたはインターフェイスに対して具体的であることを意味します。具象化。

反変性(contravariance)

子クラスまたは実装に対してより一般的(generic/ジェネリック)であることを意味します。抽象化。