Сказанное позволяет понять следующее важное свойство обязательности: обязательным является, строго говоря, не само значение, а некоторое множество взаимоисключающих значений, в которое оно входит. Никакие два значения из этого множества не должны выражаться в одной и той же словоформе одновременно, но какое-то одно из этих значений должно выражаться в составе словоформы всегда. Такое множество взаимоисключающих обязательных значений традиционно (по крайней мере, со времен античных грамматиков) называется грамматической категорией. Так, в русском языке имеется грамматическая категория падежа, состоящая по крайней мере из шести значений (такие значения принято, вслед за американским лингвистом К. Пайком, называть граммемами^)'. эта категория обязательна (в указанном выше смысле), а в силу этого можно говорить и о том, что обязательной является каждая падежная граммема; это последнее употребление, таким образом, терминологически несколько более вольно.