:Implicational universal:

A statement thought to be true of all human languages and that is of the form: the presence of X implies the presence of Y. A simple example of a phonological implicational universal is: the presence of nasalised vowels in a system implies the presence of non-nasalised vowels.