[count, noncount] formal :a system used for putting things into groups according to how they are similar :the study of how things can be divided into different types