The relation where the presence of one property in a language is a necessary precondition for the presence of some other property.