covariant
共変
S <: T
ならば
C<S> <: C<T>
例
List
関数の返り値
関数の返り値は共変