La typologie implicationnelle trouve son origine dans les travaux de Greenberg 1966. Elle est de nature polythétique ; plusieurs propriétés sont utilisées pour définir un type de langue. Mais seulement deux propriétés sont utilisées, qui plus est, reliées par une relation d’implication logique.

Un type de langue est ainsi défini comme un ensemble de langues qui correspond à l’implication : P₁ ⇒ P₂ (P₁ et P₂ propriétés typologiques).

Dans le cadre de la typologie implicationnelle, cette implication logique est appelée un universal d’implication.