O que são covariância e contravariância?

Fala pessoal, tudo tranquilo?

Venho estudando as features do PHP 7.2 e vi muito se falar de covariância e contravariância. Sei que esse conceito não é específico da linguagem PHP e sim de OO, mas escolhi postar aqui pois de certa forma a dúvida está ligada ao suporte da linguagem a esse conceito.

Dei uma pesquisada no google e até encontrei links bem relevantes, mas gostaria de abrir uma discussão para tentar fixar melhor o significado.

Desde já agradeço!