为什么协变和逆变是这样命名的

我想知道为什么术语Covariance和Contravariance在编程领域中是这样命名的。通常人们会在概率论或统计学中听到这些术语，表示测量量相对于平均值的分布。

• 借用统计学中的这些术语有什么想法
• 这些术语如何描述编程领域中的这种传播
• 编程领域的平均值是多少

我知道协方差是指将一个更具体类型的表达式分配给一个不太具体类型的变量的能力，但是，对此有另一种解释吗
将这两个领域联系起来的例子会有所帮助。