1. MathématiquesOrdre inverse de données produit par un opérateur. Définition manquante ou à compléter. (Ajouter)
2. Programmation orientée objetPropriété des types des arguments d'une méthode qui hérite par surcharge, de devenir plus généraux.on dit qu'un langage applique la règle de contravariance si, dans le cas d'une redéfinition de méthode, le type les arguments ou le type du résultat peuvent être remplacé par un type plus général.