Разница между ковариантностью и контравариантностью в программировании заключается в том, как происходит перенос наследования типов на производные от них типы — контейнеры, обобщённые типы, делегаты и т. п.: 1

1. Ковариантность сохраняет иерархию наследования исходных типов в производных типах в том же порядке. 1 Например, если класс Cat наследуется от класса Animal, то перечисление IEnumerable будет потомком перечисления IEnumerable. 1
2. Контравариантность обращает иерархию исходных типов на противоположную в производных типах. 1 Например, если класс String наследуется от класса Object, а делегат Action определён как метод, принимающий объект типа T, то Action