Covariant is what we all want for List<T> but we can't have: A list<Animal> may contain Cats, because they're animals. But you can't put a LIst<Cat> into a List<Animal>'s reference, because they aren't covariant.
Covariance is basically saying (type of another type) -> (type of yetAnotherType) "inherits" the relation of anotherType -> yetAnotherType.
IEnumerable is covariant. You can stuff an IEnumerable<Cat> into a reference for IEnuemrable<Animal>, because the IEnumerbale<Cat> "is a subclass" of IEnumerable<Animal>. Note the "".