The study of how languages vary in their structural features and which combinations are common across human languages.