范畴性

categoricity