Описание тега covariant
Например , на C#:
class Base {
//code goes here
}
class Derived : Base {
//code goes here
}
//you can assign an instance of type derived class to a base class.
IEnumerable<Derived> d = new List<Derived>();
IEnumerable<Base> b = d;