Categoricalness implies another property which he called it disjunctive.

• 范畴性还隐含着另外一条性质，他把它叫做析取性。