「自然类别是概念空间中的凸区域」的概念 在那种情况下，如果formula_1和formula_2是类别的元素，且formula_3位于formula_1和formula_2之间 ，那么formula_3也可能属于该类别。 概念凸性可让区域焦点被解释为类别原型。在更一般的理论陈述中，概念是根据其原型的概念相似性来定义的。