The subdiscipline of linguistics that structurally categorises languages by describing the common properties and structural diversity of languages.