一种分组归类方法的体系，通常称为类型，类型的各成分是用假设的各个特别属性来识别的，这些属性彼此之间相互排斥而集合起来却又包罗无遗，这种分组归类方法因在各种现象之间建立有限的关系而有助于论证和探索。