Implicational Universals
Implicational universals is a terminology in linguistics which refers to features accompanied by certain features. For instance, X and Y are two language properties; if X, then Y. Let's say, X is gender while Y is pronoun. Hence, male (X) implies “he, his, etc.” (Y) while female (X) implies “she, her, etc.” (Y).